Pawel Urzyczyn

Identifiers

Open LibraryOL2708137A

Top Subjects

Logic Design (1)
Mathematics (1)
Computing and Information Technology (1)
Congráes (1)
Programming Languages - General (1)
Congresses (1)
Computers (1)

Books by Pawel Urzyczyn

Total count: 3

Typed Lambda Calculi and Applications7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer Science)1 edition

Springer1899-12-31
Mathematical Foundations of Computer Science 200631st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Springer London, Limited2006-01-01
Lectures on the Curry-Howard Isomorphism

Elsevier Science & Technology Books2006-01-01