Applications of Polytypism in Theorem Proving
From MaRDI portal
Publication:3559762
DOI10.1007/10930755_7zbMath1279.68296OpenAlexW1544247053MaRDI QIDQ3559762
Publication date: 7 May 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10930755_7
Related Items
Deriving Comparators and Show Functions in Isabelle/HOL ⋮ Adapting functional programs to higher order logic