@misc{lego,
title = "The {L}ego proof-assistant",
howpublished = "\\\url{http://www.dcs.ed.ac.uk/home/lego/}",
- url = "\url{http://www.dcs.ed.ac.uk/home/lego/}",
key = "Lego"
}
year="1997"
}
+@inproceedings{barthe95implicit,
+ author = "Gilles Barthe",
+ title = "Implicit Coercions in Type Systems",
+ booktitle = "{TYPES}",
+ pages = "1-15",
+ year = "1995",
+ url = "citeseer.ist.psu.edu/barthe95implicit.html" }
+