Induction-recursion and initial algebras (2003)

by Peter Dybjer , Anton Setzer
Venue:Annals of Pure and Applied Logic
Citations:28 - 11 self

Document Versions

Induction-recursion and initial algebras –Peter Dybjer, Anton Setzer — 2003 — Annals of Pure and Applied Logic
Induction–recursion and initial algebras –Peter Dybjer , Anton Setzer — 2003
Induction-recursion and initial algebras –Peter Dybjer, Anton Setzer — 2003 — Annals of Pure and Applied Logic, 124:1 – 47
Induction-Recursion and Initial Algebras –Peter Dybjer, Anton Setzer — 2000 — Annals of Pure and Applied Logic
Induction-Recursion and Initial Algebras –Peter Dybjer, Anton Setzer — 2000 — ANNALS OF PURE AND APPLIED LOGIC
Induction-Recursion and Initial Algebras –Peter Dybjer, Anton Setzer — 2000 — Annals of Pure and Applied Logic