Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp.
2001 ◽
Vol 42
(4)
◽
pp. 557-558
2000 ◽
Vol 41
(7)
◽
pp. 949-952
Keyword(s):
Keyword(s):