MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Some logical and syntactical observations concerning the first order dependent type system lambda P
H. Geuvers
; Barendsen, E.
Mathematical Structures in Computer Science, vol. 9-4, 1999, pp. 335 -- 360
This page is hosted by the
Department of Computer Science
,
University of Bologna
.
Last updated
Fri Feb 2 17:12:29 CET 2007
.