Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings Urzyczyn, Pawel Heftet / 2005 / Engelsk
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings Královic, Rastislav Heftet / 2006 / Engelsk
Lectures on the Curry-Howard Isomorphism Sørensen, Morten Heine; Urzyczyn, Pawel Digital bok / 2013 / Engelsk
