POPLMark reloaded: Mechanizing proofs by logical relations
From MaRDI portal
Publication:5110924
DOI10.1017/S0956796819000170zbMath1442.68257WikidataQ113857457 ScholiaQ113857457MaRDI QIDQ5110924
Brigitte Pientka, Alberto Momigliano, Andreas Abel, Kathrin Stark, Steven Schäfer, Guillaume Allais, Aliya Hameer
Publication date: 26 May 2020
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N15: Theory of programming languages
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software