]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/others/category_al.xml
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / publications / others / category_al.xml
diff --git a/helm/mowgli/home/xml/publications/others/category_al.xml b/helm/mowgli/home/xml/publications/others/category_al.xml
new file mode 100644 (file)
index 0000000..ffeab60
--- /dev/null
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Categories, Types and Structures. An introduction to Category
+  Theory for the Working Computer Scientist.</title>
+ <author file="bologna/asperti"/>
+ <author>
+  <name>Giuseppe</name>
+  <surname>Longo</surname>
+ </author>
+ <where>Foundation of Computing Series, Massachusetts Institute of Technology
+  Press, ISBN 0 262 01125-5, 1991</where>
+</publication>