The top documents tagged [app x x]

Refining Mechanized Metatheory: Subtyping for LF William Lovas (with Frank Pfenning)

---

229 views

Refining Mechanized Metatheory: Subtyping for LF

---

38 views