The language theory of $\Lambda_\infty$, a typed $\lambda$-calculus where terms are types

L.S. Benthem Jutting, van

The language theory of $\Lambda_\infty$, a typed $\lambda$-calculus where terms are types

L.S. Benthem Jutting, van

Research output: Book/Report › Report › Popular

40 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Hogeschool Eindhoven
Number of pages	38
Publication status	Published - 1985
Externally published	Yes

Publication series

Name	Eindhoven University of Technology : Dept of Mathematics : memorandum
Volume	8502

Access to Document

702594Final published version, 978 KB

Cite this

@book{870d1ea711184d73b00d0e077c48b320,

title = "The language theory of \$\textbackslash{}Lambda\_\textbackslash{}infty\$, a typed \$\textbackslash{}lambda\$-calculus where terms are types",

author = "\{Benthem Jutting, van\}, L.S.",

year = "1985",

language = "English",

series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",

publisher = "Technische Hogeschool Eindhoven",

}

TY - BOOK

T1 - The language theory of $\Lambda_\infty$, a typed $\lambda$-calculus where terms are types

AU - Benthem Jutting, van, L.S.

PY - 1985

Y1 - 1985

M3 - Report

T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

BT - The language theory of $\Lambda_\infty$, a typed $\lambda$-calculus where terms are types

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -