Types for proofs and programs View on Open Library

Types for proofs and programs

by H. P. Barendregt

No reviews yet
First published: 1994 1 language ISBN: 9783540580850
Subjects
Automatic theorem proving Congresses Computer programs

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

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

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

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic for computer science

Logic for computer science

Jean H. Gallier
Logic Programming

Logic Programming

James H. Andrews
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated deduction

Automated deduction

W. Bibel