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    
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
Categories for Types

Categories for Types

by Roy L. Crole
Hardcover - February 1994
List price: $145.00
Compare Prices
Categories for Types

Categories for Types

by Roy L. Crole
Paperback - February 1994
List price: $68.00
Compare Prices
Combinatory Reduction Systems

Combinatory Reduction Systems

by J.W. Klop
Paperback - January 1980
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
Domains and Lambda-Calculi

Domains and Lambda-Calculi

by Pierre-Louis Curien, Roberto M. Amadio
Hardcover - August 1998
List price: $150.00
Compare Prices
Introduction to Combinators and Calculus

Introduction to Combinators and Calculus

by R. Hindley
Paperback - August 1985
List price: $29.95
Compare Prices
Introduction to Combinators and [lambda]-Calculus

Introduction to Combinators and [lambda]-Calculus

by J. Roger Hindley, J. P. Seldin
Book - January 1986
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
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
Lambda-Calculus, Combinators and Functional Programming

Lambda-Calculus, Combinators and Functional Programming

by G.E. Revesz
Hardcover - January 1988
List price: $42.95
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
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
Language in Action: Categories, Lambdas and Dynamic Logic

Language in Action: Categories, Lambdas and Dynamic Logic

by Johan Van Benthem
Hardcover - February 1991
List price: $121.00
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
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
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
Semantique Du Temps Et Lambda-Calcul

Semantique Du Temps Et Lambda-Calcul

by Francis Renaud
Book - January 1996
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

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
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

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
37 Titles Items per page:  10 | 25 | 50 Showing 1 - 25
    Pages:   1   2   Next    

Search by:
Page Execution took 0.083 seconds