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",
key = "ALF"
}
+@misc{CoqManual,
+ title = "The {C}oq Proof Assistant Reference Manual",
+ author = "The Coq Development Team",
+ howpublished = "\\\url{http://coq.inria.fr/doc/main.html}",
+ key = "CoqManual"
+}
+
@misc{Coq,
title = "The {C}oq proof-assistant",
howpublished = "\\\url{http://coq.inria.fr}",
key = "Isabelle"
}
+@book{nuprl-book,
+ author = "Constable, Robert L. and Stuart F. Allen and H. M. Bromley and
+ W. R. Cleaveland and J. F. Cremer and R. W. Harper and Douglas J. Howe and
+ T. B. Knoblock and N. P. Mendler and P. Panangaden and James T. Sasaki and
+ Scott F. Smith",
+ title = "Implementing Mathematics with the {N}uprl Development System",
+ publisher = "Prentice-Hall",
+ year = 1986,
+ address = "NJ"
+}
+
@misc{nuprl,
title = "The {NuPRL} proof-assistant",
howpublished = "\\\url{http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html}",