Lambda-terms as total or partial functions on normal forms

Cite this paper

@inproceedings{Bhm1975LambdatermsAT, title={Lambda-terms as total or partial functions on normal forms}, author={Corrado B{\"{o}hm and Mariangiola Dezani-Ciancaglini}, booktitle={Lambda-Calculus and Computer Science Theory}, year={1975} }