Logical relations and inductive/coinductive types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1584, Issue , 1999, Pages 343-354

  Altenkirch, Thorsten ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CALCULATIONS; DIFFERENTIATION (CALCULUS);

COINDUCTIVE TYPES; FUNCTORS; INDUCTIVE DEFINITIONS; LAMBDA CALCULUS; LOGICAL RELATIONS; NATURAL TRANSFORMATIONS;

COMPUTER CIRCUITS;

EID: 84956994634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10703163_23     Document Type: Conference Paper

References (11)

1. AP93. Martin Abadi and Gordon Plotkin. A logic for parametric polymorphism. In Typed Lambda Calculi and Applications - TLCA '93, pages 361-375, 1993. 343, 350
2. μ+1-rule. In Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, volume 897 of Lecture Notes in Mathematics, pages 188-233. 1981. 343, 347
3. Geu92. Herman Geuvers. Inductive and coinductive types with iteration and recursion. In Workshop on Types for Proofs and Programs, Båstad, pages 193-217, 1992. 343, 352
4. Has90. Ryu Hasegawa. Categorical datatypes in parametric polymorphism. In Fourth Asian Logic Conference, 1990. 343
5. Loa97. Ralph Loader. Equational theories for inductive types. Annals of Pure and Applied Logic, 84:175-217, 1997. 343
6. Mat98. Ralph Matthes. Extensions of System F by Iteration And Primitive Recursion on Monotone Inductive Types. PhD thesis, University of Munich, 1998. To appear. 344, 346, 347
7. Mog. Eugenio Moggi. Email to the Type mailing list. 350
8. MR91. QingMing Ma and John C. Reynolds. Types, abstraction and parametric polymorphis, part 2. In Proceedings of the 1991 Mathematics of Programming Semantics Conference, 1991. 343
9. Rey83. John C. Reynolds. Types, abstraction and parametric polymorphism. In R.E.A. Mason, editor, Information Processing 83, 1983. 343
10. RR94. E.P. Robinson and G. Rosolini. Reflexive graphs and parametric polymorphism. In S. Abramsky, editor, Proc. 9th Symposium in Logic in Computer Science, pages 364-371, Paris, 1994. I.E.E.E. Computer Society. 343
11. Wad89. Philip Wadler. Theorems for free ! Revised version of a paper appearing in: 4 th International Symposium on Functional Programming Languages and Computer Architecture, June 1989. 343