A new type assignment for ...-terms.
M. Coppo; M. Dezani-Ciancaglini
Archiv für mathematische Logik und Grundlagenforschung (1978)
- Volume: 19, page 139-156
- ISSN: 0003-9268
M. Coppo; M. Dezani-Ciancaglini
Archiv für mathematische Logik und Grundlagenforschung (1978)