Types for Proofs and Programs View on Open Library

Types for Proofs and Programs

by Henk Barendregt

No reviews yet
First published: 1994 1 language ISBN: 9780387580852

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Henk Barendregt

Lambda Calculus with Types

Lambda Calculus with Types

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Some Extensional Term Models for Combina...

Lambda Calculus Satellite

Lambda Calculus Satellite