De Dimorphie van het Ifs en de Alcoholhydrantkwest View on Open Library

De Dimorphie van het Ifs en de Alcoholhydrantkwest

by H. P. Barendregt

No reviews yet
First published: 1896 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by H. P. Barendregt

The lambda calculus

The lambda calculus

Types for proofs and programs

Types for proofs and programs

Lambda calculus with types

Lambda calculus with types

The incompleteness theorems

The incompleteness theorems

On the interpretation of terms without a normal form

On the interpretation of terms without a...

Some extensional term models for combinatory logics and [lambda]-calculi

Some extensional term models for combina...