HOL Light QE

MaRDI QIDQ40370swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-94821-8_13

Described by source

• HOL Light QE

Cited in

(7)

• The \textsc{MetaCoq} project
• Incorporating quotation and evaluation into Church's type theory
• MetaPRL
• MetaOCaml
• HOL2P
• reFLect
• Template-Coq

This page was built for software: HOL Light QE