Applications of polytypism in theorem proving

DOI10.1007/10930755_7MaRDI QIDQ3559762zbMATH OpenOpenAlexFDO

Authors Konrad Slind, Joe Hurd

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

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1424014
• Formal polytypic programs and proofs
• Polytypic programming with ease
• scientific article; zbMATH DE number 1375587
• Polytypic programming in Maude

Cited in

(4)

• Adapting functional programs to higher order logic
• Deriving comparators and show functions in Isabelle/HOL
• Formal polytypic programs and proofs
• scientific article; zbMATH DE number 1424014 (Why is no real title available?)

This page was built for publication: Applications of polytypism in theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559762)