[Frames]

 
IST Logo Small

Logical Environments

Huet, G. ; Plotkin, G.

Cambridge University Press, 1993


This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:21 CET 2007.
IST Logo Small