Logical Relations and Inductive/coinductive Types (1998)

Cached

Download Links

by Thorsten Altenkirch
Citations:18 - 4 self

Documents Related by Co-Citation

77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
41 A Predicative Analysis of Structural Recursion – Andreas Abel, Thorsten Altenkirch - 1999
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
22 Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types – R Matthes - 1998
5 The !+1 -rule – Wilfried Buchholz - 1981
3 Normalisierung fur die Heyting-Arithmetik mit induktiven Typen – Starke - 1998
4 Notes on constructive set theory. Available from the WWW – Peter Aczel - 1997
12 Inductive Types and Strong Normalization – Altenkirch Constructions - 1993
35 Contracting proofs to programs – D Leivant - 1990
18 An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement – Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent - 1997
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
195 An algebraic definition of simulation between programs – R Milner - 1971
17 Matching typed and untyped realizability – J Longley - 1999
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
329 Foundations for Programming Languages – J C Mitchell - 1996
60 Program extraction from normalization proofs – Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg - 1993
7 Natural isomorphisms in group theory – S Eilenberg, S Mac Lane - 1942
2 Types for Proofs and Programs – In Geuvers, H Wiedijk, F