helm/mowgli/home/xml/publications/others/mscs_gb.xml

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