HOL Light QE

swMATH28656MaRDI QIDQ40370FDOQ40370

Author name not available (Why is that?)

Described by source

• HOL Light QE

Cited In (2)

• The \textsc{MetaCoq} project
• Incorporating quotation and evaluation into Church's type theory

This page was built for software: HOL Light QE