Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 View on Open Library

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

by Henk Barendregt

No reviews yet
First published: 2020 1 language ISBN: 9798585284120

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

Lambda Calculus Satellite

Lambda Calculus Satellite

Types for Proofs and Programs

Types for Proofs and Programs