The following pages link to (Q3789525):
Displaying 6 items.
- Nuprl (Q18826) (← links)
- Metacircularity in the polymorphic \(\lambda\)-calculus (Q1177938) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- Some normalization properties of martin-löf's type theory, and applications (Q5096234) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)
