rewrite
Download:
|
|
by Ralph Matthes
http://www.tcs.informatik.uni-muenchen.de/~matthes/papers/fotfs.ps.gz
Add To MetaCart
Abstract:
xed-point theorem and higher-order term
Citations
| 48 | Program extraction from normalization proofs – Berger - 1993 |
| 47 | Inductive and coinductive types with Iteration and Recursion. Extended notes of BRA-LF – Geuvers - 1992 |
| 21 | Logical relations and inductive/coinductive types – Altenkirch - 1998 |
| 3 | Natural isomorphisms in group theory – Eilenberg, Lane - 1942 |
