A finite axiomatization of inductive-recursive definitions (1999)

by Peter Dybjer , Anton Setzer
Venue:Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science
Citations:42 - 14 self

Document Versions

A finite axiomatization of inductive-recursive definitions –Peter Dybjer, Anton Setzer — 1999 — Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science
A Finite Axiomatization of Inductive-Recursive Definitions –Peter Dybjer, Anton Setzer — 1998 — TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME 1581 OF LECTURE NOTES IN COMPUTER SCIENCE
A Finite Axiomatization of Inductive-Recursive Definitions –Peter Dybjer, Anton Setzer — 1998 — Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science
A finite axiomatization of inductive-recursive definitions –Peter Dybjer, Anton Setzer — 1999 — Typed Lambda Calculi and Applications, volume 1581 of Lecture Notes in Computer Science