WishlistWishlist | Your AccountYour Account | HelpHelp
Browse by Subject

Browse the Site
Browse by Subject
Subjects > Lambda calculus

You may sort these results by title or by publication date.

37 Titles Items per page:  10 | 25 | 50 Showing 1 - 10
    Pages:   1   2   3   4   Next    
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley, Jonathan P. Seldin
Hardcover - August 2008
List price: $70.00
Compare Prices
Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings

by Simona Ronchi Della Rocca (Editor)
Paperback - August 2007
List price: $79.95
Compare Prices
Lectures on the Curry-howard Isomorphism

Lectures on the Curry-howard Isomorphism

by Pawel Urzyczyn, Pawe Urzyczyn
Hardcover - September 2006
List price: $145.00
Compare Prices
Processes, Terms And Cycles: Steps on the Road to Infinity

Processes, Terms And Cycles: Steps on the Road to Infinity

by A. Middeldorp
Paperback - December 2005
List price: $106.00
Compare Prices
Language And Grammar: Studies In Mathematical Linguistics And Natural Language

Language And Grammar: Studies In Mathematical Linguistics And Natural Language

by R. A. G. Seely (Editor), P. J. Scott, Philip J. Scott (Editor)
Hardcover - June 2005
List price: $75.00
Compare Prices
Language And Grammar: Studies In Mathematical Linguistics And Natural Language

Language And Grammar: Studies In Mathematical Linguistics And Natural Language

by R. A. G. Seely (Editor), P. J. Scott, C. Casadio (Editor)
Paperback - June 2005
List price: $30.00
Compare Prices
Typed Lambda Calculi And Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings

Typed Lambda Calculi And Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings

by Pawel Urzyczyn (Editor)
Paperback - June 2005
List price: $78.00
Compare Prices
Abstract Computing Machines: A Lambda Calculus Perspective

Abstract Computing Machines: A Lambda Calculus Perspective

by Werner Kluge
Hardcover - April 2005
List price: $99.00
Compare Prices
Adapting Proofs-As-Programs: The Curry-Howard Protocol

Adapting Proofs-As-Programs: The Curry-Howard Protocol

by John N. Crossley, M. Wirsing, Iman Hafiz Poernomo
Hardcover - March 2005
List price: $89.95
Compare Prices
The Parametric Lambda Calculus: A Meta-Model for Computation

The Parametric Lambda Calculus: A Meta-Model for Computation

by S. Ronchi Della Rocca, Luca Paolini
Hardcover - November 2004
List price: $99.00
Compare Prices
37 Titles Items per page:  10 | 25 | 50 Showing 1 - 10
    Pages:   1   2   3   4   Next    

Search by:
Page Execution took 0.5075 seconds