H.p. Barendregt

Fiction
Nonfiction
Literature
Science Fiction

 

View shopping cart

1.		The Lambda Calculus (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) from North Holland Price: $111.23 Customer Review: I have this book checked out from a university library, and it is quite wonderful. Despite the fact that Amazon continues to list it for sale, it is not currently available.	Customer Rating: 4.5 / 5.0 Click here for more information Buy from: United Kingdom

2.	[no image]	Grondslagen van de informatica: Rede from Katholieke Universiteit Nijmegen	Click here for more information Buy from: United Kingdom

3.	[no image]	The incompleteness theorems (Communications of the Mathematical Institute, Rijksuniversiteit Utrecht ; 4) from Rijksuniversiteit Utrecht, Mathematisch Instituut	Click here for more information Buy from: United Kingdom

4.	[no image]	Term graph rewriting (Internal report SYS-C. University of East Anglia. School of Information Systems) from University of East Anglia, School of Information Systems	Click here for more information Buy from: United Kingdom

5.	[no image]	Towards an immediate language based on graph rewriting (Internal report SYS-C. University of East Anglia. School of Information Systems) from University of East Anglia, School of Information Systems	Click here for more information Buy from: United Kingdom

6.	[no image]	Recursion theoretic operators and morphisms on numbered sets (MIT/LCS/TM-194) from Massachusetts Institute of Technology, Laboratory for Computer Science	Click here for more information Buy from: United Kingdom

7.	[no image]	Needed reduction and spine strategies for the lambda calculus (Report CS. Centrum voor Wiskunde en Informatica) from Centrum voor Wiskunde en Informatica	Click here for more information Buy from: United Kingdom

8.	[no image]	On the interpretation of terms without a normal form (ERCU publikaties, no. 111) from Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6)	Click here for more information Buy from: United Kingdom

9.	[no image]	Some Extensional Term Models for Combinatory Logics and Calculi from Hendrik Piter Barendregt	Click here for more information Buy from: United Kingdom

1 - 9

Portions © Amazon.com, Inc.

Search All productsBooksPopular musicClassical musicDVD'sVHS VideosIn TheatersToysBabyComputer HardwareComputer & Video GamesElectronicsPhotoSoftwareTools & HardwareGarden / Outdoor LivingKitchenCell Phones & Servicefor