3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Some logical and syntactical observations concerning the first
7 order dependent type system lambda P</title>
8 <author file="nijmegen/geuvers"/>
11 <surname>Barendsen</surname>
13 <where>Mathematical Structures in Computer Science, vol. 9-4, 1999,
14 pp. 335 -- 360</where>