Types for Proofs and Programs
From MaRDI portal
Publication:5898169
DOI10.1007/11617990zbMath1172.68547OpenAlexW4300050167MaRDI QIDQ5898169
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 (4)
Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Some Domain Theory and Denotational Semantics in Coq ⋮ Strongly typed term representations in Coq ⋮ POPLMark reloaded: Mechanizing proofs by logical relations
Uses Software
This page was built for publication: Types for Proofs and Programs
