The following pages link to (Q2958550):
Displaying 6 items.
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- Functional verification of high performance adders in \textsc{Coq} (Q2336214) (← links)
- (Q4855295) (← links)
- Decidability in Intuitionistic Type Theory is Functionally Decidable (Q4888341) (← links)
- Extensional and Intensional Semantic Universes (Q5145281) (← links)
- (Q5173183) (← links)