The following pages link to LEGO (Q21664):
Displaying 7 items.
- The practice of logical frameworks (Q5878905) (← links)
- Types for Proofs and Programs (Q5897611) (← links)
- Types for Proofs and Programs (Q5898172) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- Coercion completion and conservativity in coercive subtyping (Q5957918) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)
- An induction principle for pure type systems (Q5958776) (← links)