![](/img/cover-not-exists.png)
Abstract Data Types and Type Theory: Theories as Types
Ruy J. G. B. de Queiroz, Thomas S. E. MaibaumVolume:
37
Year:
1991
Language:
english
Pages:
18
DOI:
10.1002/malq.19910370904
File:
PDF, 1.16 MB
english, 1991