Logical environments / ed. Gérard Huet, Gordon Plotkin

Logical environments / ed. Gérard Huet, Gordon Plotkin . - Cambridge : Cambridge University Press, 1993 . - XIII, 338 p. 24 cm
0-521-43312-6 (Encadernado)

510.6