Pawel Urzyczyn

Pawel Urzyczyn prof. dr hab.

Elsevier Science · Springer

Titel ISBN-13Erschei-
nungsjahr
andere Autoren
Lectures on the Curry-Howard Isomorphism, Volume 149
978-0-444-52077-72006Morten Heine Sørensen
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... Notes in Computer Science , Band 4162) 978-3-540-37791-72006Rastislav Královic
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings 978-3-540-25593-22010
Typed Lambda Calculi and Applications 978-3-540-80995-12008

 

Pawel Urzyczyn prof. dr hab.