Document Versions

Admissibility of Fixpoint Induction over Partial Types –Karl Crary — 1998 — Automated deduction --- CADE-15. Lect. Notes in Comp. Sci
Admissibility of Fixpoint Induction over Partial Types –Karl Crary — 1998 — Automated deduction --- CADE-15. Lect. Notes in Comp. Sci
Admissibility of fixpoint induction over partial types –Karl Crary — 1998 — Automated deduction --- CADE-15. Lect. Notes in Comp. Sci