Lambda Calculus with Types
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781139032636
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type and Lambda Structures

2013 ◽  
pp. 640-679
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Our Founders

2013 ◽  
pp. xiii-xiv
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

The Systems λA=

2013 ◽  
pp. 379-450
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

An Example System

2013 ◽  
pp. 579-590
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Basic Properties of Intersection Type Assignment

2013 ◽  
pp. 619-639
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman
Keyword(s):  
Basic Properties ◽  
Type Assignment

Filter Models

2013 ◽  
pp. 680-727
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Recursive Types λA=

2013 ◽  
pp. 377-378 ◽  
Author(s):  
Felice Cardone ◽  
Mario Coppo ◽  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Properties of Recursive Types

2013 ◽  
pp. 451-493
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Definability, unification and matching

2013 ◽  
pp. 192-242
Author(s):  
Gilles Dowek ◽  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman

Type Assignment Systems

2013 ◽  
pp. 591-618
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman
Keyword(s):  
Type Assignment
Load More ...
Sign in / Sign up

Export Citation Format

Share Document