]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/others/category_al.xml
This commit was manufactured by cvs2svn to create branch 'moogle'.
[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
deleted file mode 100644 (file)
index ffeab60..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-<?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>