GMeta: A Generic Formal Metatheory Framework for First-Order Representations
From MaRDI portal
Publication:2892744
DOI10.1007/978-3-642-28869-2_22zbMath1352.68063OpenAlexW2149236820MaRDI QIDQ2892744
Bruno C. d. S. Oliveira, Kwangkeun Yi, Gyesik Lee, Sungkeun Cho
Publication date: 22 June 2012
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_22
Coqvariable bindingPOPLmark challengemechanizationfirst-order representationsdatatype-generic programming
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
POPLMark reloaded: Mechanizing proofs by logical relations ⋮ A formalized general theory of syntax with bindings: extended version ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Uses Software
This page was built for publication: GMeta: A Generic Formal Metatheory Framework for First-Order Representations
