Narrow your search

Library

UCLouvain (1)

UGent (1)

ULiège (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

1965 (3)

Listing 1 - 3 of 3
Sort by

Book
A transfinite type theory with type variables
Author:
Year: 1965 Publisher: Amsterdam: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

proof --- Recursive Function


Book
A transfinite type theory with type variables
Author:
Year: 1965 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Type theory.


Book
A transfinite type theory with type variables
Author:
Year: 1965 Publisher: Amsterdam : North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 3 of 3
Sort by