An Algebra for Higher-Order Terms

MaRDI QIDQ7361834FDO

Authors Lars Hupel, Yu Zhang

Publication date 15 January 2019

Cites work

• A verified compiler from Isabelle/HOL to CakeML
• Instantiation theory. On the foundations of automated deduction
• Nominal techniques in Isabelle/HOL
• Properties of substitutions and unifications

Cited in

(1)

• A Verified Code Generator from Isabelle/HOL to CakeML

This page was built for software: An Algebra for Higher-Order Terms