1995
Strict functionals for termination proofs
Publication
Publication
Presented at the
International Conference on Typed Lambda Calculi and Applications, Edinburgh, UK
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Conference on Typed Lambda Calculi and Applications | |
van de Pol, J., & Schwichtenberg, H. (1995). Strict functionals for termination proofs. In Typed Lambda Calculi and Applications 1995 (TLCA 2) (pp. 350–364). Springer. |