Your search returned 7 results.

Results
	1.	Abstract computing machines : a lambda calculus perspective / W. Kluge by Kluge, Werner Publication details: Berlin : Springer, 2005 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.K58. Place hold
	2.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W Brauer, W Rozenberg, G Salomaa, A SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	The lambda calculus its syntax and semantics H.P.Barendregt by Barendregt, H. P. (Hendrik Pieter) Edition: Rev. ed. Publication details: Amsterdam North-Holland 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.5.B36 1984. Place hold
	4.	Logic Colloquium'82 : proceedings of the Colloquium held in Florence 23-28 August, 1982 / edited by G. Lolli, G. Longo and A. Marcja by Logic Colloquium (1982 : Florence, Italy) Lolli, G. (Gabriele) 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa) Series: Studies in logic and the foundations of mathematics ; v.112 Publication details: Amsterdam : North-Holland, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.L64 1982. Place hold
	5.	Pattern calculus [electronic resource] : computing with functions and structures / by Barry Jay. by Jay, Barry SpringerLink (Online service) Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	6.	Typed lambda calculi and applications [electronic resource] : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings / Simona Ronchi della Rocca (ed.). by International Conference on Typed Lambda Calculi and Applications (8th : 2007 : Paris, France) Ronchi Della Rocca, S. (Simona) SpringerLink (Online service) Series: Lecture notes in computer science ; 4583 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: TLCA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	Typed lambda calculi and applications [electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ edited by Pierre-Louis Curien. by International Conference on Typed Lambda Calculi and Applications (9th : 2009 : Brasilla, Brazil) Curien, Pierre-Louis SpringerLink (Online service) Series: Lecture notes in computer science ; 5608 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: TICA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library