Journal article
Abstract Data Types and Type Theory: Theories as Types
Authors
de Queiroz RJGB; Maibaum TSE
Journal
Mathematical Logic Quarterly, Vol. 37, No. 9‐12, pp. 149–166
Publisher
Wiley
Publication Date
1 1991
DOI
10.1002/malq.19910370904
ISSN
0044-3050