Pure type systems with judgemental equality
From MaRDI portal
Publication:3377462
DOI10.1017/S0956796805005770zbMath1088.68030MaRDI QIDQ3377462
Publication date: 22 March 2006
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (7)
Unified Syntax with Iso-types ⋮ I Got Plenty o’ Nuttin’ ⋮ Pure type systems with explicit substitutions ⋮ Unnamed Item ⋮ An adequacy theorem for dependent type theory ⋮ Pure Type System conversion is always typable ⋮ A Logical Framework with Explicit Conversions
Uses Software
This page was built for publication: Pure type systems with judgemental equality