Bild von Freiric Barral
LMU-Siegel
TCS-Siegel TCS-Siegel


Freiric Barral


Talks

Inductive type schemas as functors (Workshop on Isomorphisms of Types, Toulouse 2005). slides


Publications

Appendix to Inductive type schemas as functors (CSR 2006). pdf


Thesis - Decidability for Non-Standard Conversions in Typed Lambda-Calculi pdf


Secret Activity

Cookies Feeding of the sottoterraneo seminarium

for those who have the lucky chance not to have a grade

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
D-80538 München
Bundesrepublik Deutschland


Zimmer:
Telefon:
Fax:
email:


D11
+49-89-2180-9120
+49-89-2180-9338
barral(AT)tcs.informatik.uni-muenchen.de


HOME Pages: TCS Institut LMU

Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an:
wwwmaster@tcs.informatik.uni-muenchen.de