]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/publications/others/category_al.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / publications / others / category_al.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE publication SYSTEM "publication.dtd">
4
5 <publication>
6  <title>Categories, Types and Structures. An introduction to Category
7   Theory for the Working Computer Scientist.</title>
8  <author file="bologna/asperti"/>
9  <author>
10   <name>Giuseppe</name>
11   <surname>Longo</surname>
12  </author>
13  <where>Foundation of Computing Series, Massachusetts Institute of Technology
14   Press, ISBN 0 262 01125-5, 1991</where>
15 </publication>