An edition of Logical frameworks (1991)
By G. Plotkin
Publish Date
1991
Publisher
Cambridge University Press
Language
eng
Pages
403