Logical environments / ed. Gérard Huet, Gordon Plotkin
Secondary Author
Huet, Gérard
Plotkin, Gordon, 1946-
Corporate Author (Secondary)
International Workshop on Logical Frameworks, 2, Edinburgh, 1991
Country
Reino Unido.
Publication
Cambridge : Cambridge University Press, 1993
Description
XIII, 338 p. ;
24 cm
ISBN
0-521-43312-6
CDU
510.6
There are no comments for this item.