Sample Student Projects
Bodil Biering: On the Logic of Bunched Implications
Rasmus Lerchedahl Petersen and Jacob Thamsborg: Constructing a Parametric Model of the Polymorphic Lambda Calculus
Nikolaj Oldager: Categorical Semantics of Simple Type Theory
Bodil Biering and Morten Overgaard: Sammenhaengen mellem Topoi og Intuitionistisk Logic (in Danish).
Rasmus Lerchedahl Petersen and Jacob Thamsborg: Constructing a Non-Trivial Model for the Untyped Non-Extensional Lambda Calculus
Noah Torp-Smith: Towards the theory of Equilogical Spaces
Noah Torp-Smith: Various Algebras and Connections between them