scientific article

From MaRDI portal

Publication:3768897

Jump to:navigation, search

zbMath0632.03047MaRDI QIDQ3768897

Adrian Rezuş

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Martin-Löf's constructive type theory lambda- calculus Plotkin's graph model polymorphic typed languages strict closure semantics

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)

Related Items (2)

On the syntax of Martin-Löf's type theories ⋮ Domain interpretations of Martin-Löf's partial type theory

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3768897&oldid=17308935"