|
|
|
Inductive type schemas as functors (Workshop on Isomorphisms of Types, Toulouse 2005). slides
Appendix to Inductive type schemas as functors (CSR 2006). pdf
Thesis - Decidability for Non-Standard Conversions in Typed Lambda-Calculi pdf
Cookies Feeding of the sottoterraneo seminarium
for those who have the lucky chance not to have a grade|
Zimmer: Telefon: Fax: email: |
|
TCS
Institut
LMU