MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Logical Frameworks
Huet, G. ; Plotkin, G.
Cambridge University Press, 1991
This page is hosted by the
Department of Computer Science
,
University of Bologna
.
Last updated
Fri Feb 2 17:12:30 CET 2007
.
