HOL Light QE

swMATH28656MaRDI QIDQ40370FDOQ40370

Author name not available (Why is that?)

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