On the interpretation of terms without a normal form

View on Open Library

On the interpretation of terms without a normal form

by H. P. Barendregt

No reviews yet

First published: 1971 1 language

Subjects

Combinatory logic

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

De Dimorphie van het Ifs en de Alcoholhydrantkwest

De Dimorphie van het Ifs en de Alcoholhy...

The incompleteness theorems

The incompleteness theorems

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

Some extensional term models for combina...

You Might Also Like

More in Combinatory logic

Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures ...

Larry J. Gerstein

Extension Innovation Method

Extension Innovation Method

Chunyan Yang

Ordered Sets

Bernd Schröder

A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathemati...

W. D. Wallis

A Beginner's Guide to Finite Mathematics

A Beginner's Guide to Finite Mathematics

W. D. Wallis

Combinatorics and Reasoning

Combinatorics and Reasoning

Carolyn A. Maher