Your search returned 3 results.

Results
	1.		Image from Amazon.com	Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / edited by Paweł Urzyczyn. by Urzyczyn, Paweł [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3461Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn. by Královič, Rastislav [editor.] Urzyczyn, Paweł [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4162Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. by Sørensen, Morten Heine Urzyczyn, Paweł ScienceDirect eBooks Series: Studies in logic and the foundations of mathematics ; v. 149. Edition: 1st ed. 2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu