Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
From MaRDI portal
Publication:2945649
DOI10.1007/978-3-319-22102-1_24zbMath1465.68037MaRDI QIDQ2945649
Tobias Tebbi, Gert Smolka, Steven Schäfer
Publication date: 14 September 2015
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22102-1_24
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68V20: Formalization of mathematics in connection with theorem provers
Related Items
Unnamed Item, Unnamed Item, POPLMark reloaded: Mechanizing proofs by logical relations, Tower Induction and Up-to Techniques for CCS with Fixed Points, A formalized general theory of syntax with bindings: extended version
Uses Software