Explore Books on
lambda calculus

1-24 of 66 Books

Cover of The lambda calculus by h. p. barendregt

The lambda calculus

By H. P. Barendregt

Cover of Language & grammar by c. casadio,philip j. scott

Language & grammar

By C. Casadio,Philip J. Scott

Cover of Lectures on the Curry-Howard isomorphism by morten heine sørensen

Lectures on the Curry-Howard isomorphism

By Morten Heine Sørensen

Cover of Typed Lambda Calculi and Applications by pawel urzyczyn

Typed Lambda Calculi and Applications

By Pawel Urzyczyn

Cover of Abstract computing machines by werner kluge

Abstract computing machines

By Werner Kluge

Cover of Lambda Calculi by chris hankin

Lambda Calculi

By Chris Hankin

Cover of Typed Lambda Calculi and Applications by masahito hasegawa

Typed Lambda Calculi and Applications

By Masahito Hasegawa

Cover of Domains and lambda-calculi by roberto m. amadio

Domains and lambda-calculi

By Roberto M. Amadio

Cover of Typed Lambda Calculi and Applications by jean-yves girard

Typed Lambda Calculi and Applications

By Jean-Yves Girard

Cover of Categories for types by roy l. crole

Categories for types

By Roy L. Crole

Cover of Typed lambda calculi and applications by international conference on typed lambda calculi and applications (3rd 1997 nancy, france)

Typed lambda calculi and applications

By International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)

Cover of Language in action by j. f. a. k. van benthem

Language in action

By J. F. A. K. van Benthem

Cover of Typed lambda calculi and applications by international conference on typed lambda calculi and applications (1993 utrecht, netherlands)

Typed lambda calculi and applications

By International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)

The Curry-Howard isomorphism

The Curry-Howard isomorphism

By Philippe De Groote

Cover of The parametric lambda calculus by simona ronchi della rocca,luca paolini

The parametric lambda calculus

By Simona Ronchi Della Rocca,Luca Paolini

Cover of Pattern Calculus by barry jay

Pattern Calculus

By Barry Jay

Cover of Typed Lambda Calculi and Applications by luke ong

Typed Lambda Calculi and Applications

By Luke Ong

Cover of Typed lambda calculi and applications by international conference on typed lambda calculi and applications (2nd 1995 edinburgh, scotland)

Typed lambda calculi and applications

By International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)

Cover of Typed Lambda Calculi and Applications by samson abramsky

Typed Lambda Calculi and Applications

By Samson Abramsky

Cover of Derivation and computation by harold simmons

Derivation and computation

By Harold Simmons

Cover of Typed lambda calculi and applications by international conference on typed lambda calculi and applications (7th 2005 nara, japan)

Typed lambda calculi and applications

By International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)

Cover of Canonical simplification of finite objects, well quasi-ordered by tree embedding by brown, thomas c.

Canonical simplification of finite objects, well quasi-ordered by tree embedding

By Brown, Thomas C.

Cover of Logic Colloquium (Studies in Logic & the Foundations of Mathematics) by g.; longo, g. and marcja, a. lolli

Logic Colloquium (Studies in Logic & the Foundations of Mathematics)

By G.; Longo, G. and Marcja, A. Lolli

A theory of bisimulation for the (lambda)-calculus

A theory of bisimulation for the (lambda)-calculus

By Davide Sangiorgi