Papers
A Formalization of the Naive Type
Theory, PhD thesis, University of Warsaw, 2011
In the Search of a Naive Type
Theory, with Paweł Urzyczyn, in:
M.Miculan, I.Scagnetto, F.Honsell (eds.),
TYPES
2007, LNCS 4941, pp. 110-124
On Goldie dimension of lattices, Master's
thesis (in Polish),
University of Warsaw, 2007
Type checking problem for first order logic, Master's thesis (in Polish), University of Warsaw,
2006
Presentations
A Formalization of the Naive Type Theory,
May 31, 2012, Warsaw
A formalization of the Naive Type Theory (in Polish), November 17, 2011, Wrocław
Inductive types in Less Naive Type Theory,
TYPES
2010, October 14, 2010,
Warsaw
Less Naive Type Theory,
Young
Researchers Forum, August 21, 2010,
Brno
Less Naive Type Theory (in Polish),
Forum Informatyki
Teoretycznej, April 19, 2008, Zakopane
Less Naive Type
Theory,
Dzień
Doktoranta,
May 26, 2007, Warsaw
In the Search of a Naive Type Theory, with
Paweł Urzyczyn,
TYPES
2007, May 5, 2007, Cividale del Friuli
Type checking problem for
first order logic (in Polish), session of the
Polish
Association for Logic and Philosophy of
Science, December 16, 2006, Warsaw