Logical frameworks, edited by Gérard Huet and G. Plotkin, Cambridge University Press, Cambridge etc. 1991, xii + 403 pp.

1993 ◽  
Vol 58 (4) ◽  
pp. 1469-1472
Author(s):  
Duško Pavlović
Sign in / Sign up

Export Citation Format

Share Document