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 - 25
    Pages:   1   2   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: $63.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
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 Proceedings

Logic for Grammar: Developments in Linear Logic and Formal Linguistics

Logic for Grammar: Developments in Linear Logic and Formal Linguistics

by C. Casadio
Book - January 2002
Compare Prices
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001, Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001, Krakow, Poland, May 2-5, 2001 Proceedings

by Samson Abramsky
Paperback - May 2001
List price: $74.95
Compare Prices
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

by Harold Simmons
Hardcover - September 2000
List price: $150.00
Compare Prices
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 Proceedings

Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 Proceedings

Domains and Lambda-Calculi

Domains and Lambda-Calculi

by Pierre-Louis Curien, Roberto M. Amadio
Hardcover - August 1998
List price: $150.00
Compare Prices
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997 Proceedings

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997 Proceedings

Semantique Du Temps Et Lambda-Calcul

Semantique Du Temps Et Lambda-Calcul

by Francis Renaud
Book - January 1996
Compare Prices
Language in Action: Categories, Lambdas and Dynamic Logic

Language in Action: Categories, Lambdas and Dynamic Logic

by Johan Van Benthem, J. F. A. K. Van Benthem
Paperback - June 1995
List price: $40.00
Compare Prices
Lambda Calculi: A Guide for Computer Scientists

Lambda Calculi: A Guide for Computer Scientists

by Chris Hankin
Paperback - May 1995
List price: $40.95
Compare Prices
Lambda Calculi: A Guide for Computer Scientists

Lambda Calculi: A Guide for Computer Scientists

by Chris Hankin
Hardcover - April 1995
List price: $77.95
Compare Prices
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

by Gordon Plotkin (Editor), Mariangiola Dezani-Ciancaglini (Editor)
Paperback - March 1995
List price: $98.00
Compare Prices
The Curry-Howard Isomorphism

The Curry-Howard Isomorphism

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 Proceedings

by Mariangiola Dezani-Ciancaglini (Editor), G. Plotkin
Paperback - January 1995
Compare Prices
Categories for Types

Categories for Types

by Roy L. Crole
Hardcover - February 1994
List price: $145.00
Compare Prices
37 Titles Items per page:  10 | 25 | 50 Showing 1 - 25
    Pages:   1   2   Next    

Search by:
Page Execution took 0.0406 seconds