1995
Two different strong normalization proofs? - computability versus functionals of finite type -
Publication
Publication
Presented at the
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Paderborn, Germany
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Workshop on Higher-Order Algebra, Logic, and Term Rewriting | |
|
van de Pol, J. (1995). Two different strong normalization proofs? - computability versus functionals of finite type -. Higher-Order Algebra, Logic, and Term Rewriting 1995 (HOA 0), 201–220. |
|
