Effect polymorphism in higher-order logic (proof pearl)

From MaRDI portal
Publication:5919584

DOI10.1007/s10817-018-9476-2zbMath1468.68062OpenAlexW2855026817WikidataQ129563246 ScholiaQ129563246MaRDI QIDQ5919584

Andreas Lochbihler

Publication date: 21 August 2019

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-018-9476-2




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Effect polymorphism in higher-order logic (proof pearl)