Results 1 -
1 of
1
Altenkirch: 2000, `A predicative strong normalisation proof for a *-calculus with interleaving inductive types (1956)
by A Abel, T
| Venue: | Proceedings of International Workshop on Types for Proof and Programs (TYPES '99 |
