Kybernetika 21 no. 5, 366-381, 1985

Normal forms in the typed Λ-calculus with tuple types

Jiří Zlatuška

Classification:

03B40

paper.pdf