Lambda Calculus Satellite View on Open Library

Lambda Calculus Satellite

by Henk Barendregt , Giulio Manzonetto

No reviews yet
First published: 2022 1 language ISBN: 9781848904156

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...

Types for Proofs and Programs

Types for Proofs and Programs