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.