Added a new section on the logical library.

[helm.git] / helm / papers / matita / matita.bib

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 4927850ba7c43fbc32574c237287829cc996eae2..f2f024e718d66a979a6bd90e27acffdf6fddaa7a 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -912,6 +912,15 @@
   year =         1998
 }
 
+@misc{content-centric,
+ author = "Andrea Asperti and Luca padovani and Claudio Sacerdoti Coen
+           and irene Schena",
+ title = "Content-centric Logical Envirnoments",
+ howpublished = "Short Presentation at the Fifteenth IEEE Symposium on Logic in Computer Science",
+ month = "June",
+ year = "2000",
+ key = "content centric"
+}
 
 @misc{mowgli-proposal,
  title = "The {MoWGLI Proposal}, {HTML} Version",