Types for Proofs and Programs
From MaRDI portal
Publication:5897607
DOI10.1007/11617990zbMath1172.68548OpenAlexW4300050167MaRDI QIDQ5897607
Healfdene Goguen, Conor McBride, James McKinna
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11617990
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Unnamed Item ⋮ Eliminating dependent pattern matching without K ⋮ Congruence Closure in Intensional Type Theory
This page was built for publication: Types for Proofs and Programs
