1982
Strong normalization and perpetual reductions in the lambda calculus
Publication
Publication
Elektronische Informationsverarbeitung und Kybernetik , Volume 18 - Issue 7-8 p. 403- 417
Additional Metadata | |
---|---|
, | |
akademie verlag | |
Elektronische Informationsverarbeitung und Kybernetik | |
Organisation | Specification and Analysis of Embedded Systems |
Bergstra, J., & Klop, J. W. (1982). Strong normalization and perpetual reductions in the lambda calculus. Elektronische Informationsverarbeitung und Kybernetik, 18(7-8), 403–417. |