Explore Books on
lambda calculus

The lambda calculus

By H. P. Barendregt

Language & grammar

By C. Casadio,Philip J. Scott

Typed Lambda Calculi and Applications

By Pawel Urzyczyn

Lambda Calculi

By Chris Hankin

Abstract computing machines

By Werner Kluge

Domains and lambda-calculi

By Roberto M. Amadio

Typed Lambda Calculi and Applications

By Masahito Hasegawa

Lectures on the Curry-Howard isomorphism

By Morten Heine Sørensen

Typed Lambda Calculi and Applications

By Samson Abramsky

Typed lambda calculi and applications

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

Categories for types

By Roy L. Crole

Typed lambda calculi and applications

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

Pattern Calculus

By Barry Jay

Typed Lambda Calculi and Applications

By Luke Ong

Typed lambda calculi and applications

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

Language in action

By J. F. A. K. van Benthem

The Curry-Howard isomorphism

By Philippe De Groote

The parametric lambda calculus

By Simona Ronchi Della Rocca,Luca Paolini

Typed Lambda Calculi and Applications

By Jean-Yves Girard

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

By Davide Sangiorgi

Logique et fondements de l'informatique

By Richard Lassaigne

Sémantique du temps et lambda-calcul

By Francis Renaud

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

By Brown, Thomas C.