The Structural Theory of Pure Type Systems

DOI10.1007/978-3-319-08918-8_25zbMath1416.68045OpenAlexW2095898705MaRDI QIDQ5170829

Floris van Doorn, Cody Roux

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_25

zbMATH Keywords

weak normalizationpure type systemstype theoryconservative extensionpredicativity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

This page was built for publication: The Structural Theory of Pure Type Systems