Lectures on the Curry-Howard isomorphism /

Autor Sørensen, Morten Heine B. 1968-, Urzyczyn, Pawel
Vydáno 2006

Typed lambda calculi and applications : 7th International Conference, TLCA 2005 : Nara, Japan, April 21-23, 2005 : proceedings /

Vydáno 2005

Mathematical foundations of computer science 2006 : 31st International Symposium, MFCS 2006 : Stará Lesná, Slovakia, August 28-September 1, 2006 : proceedings /

Vydáno 2006