Lambda Calculus with Types View on Open Library

Lambda Calculus with Types

by Henk Barendregt , Wil Dekkers , Richard Statman

No reviews yet
First published: 2013 1 language ISBN: 9781299772748

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Henk Barendregt

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Some Extensional Term Models for Combina...

Lambda Calculus Satellite

Lambda Calculus Satellite

Types for Proofs and Programs

Types for Proofs and Programs