Commit 994ec0cb authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Bib update.

parent 904690ec
......@@ -12554,6 +12554,12 @@
URL = "http://www.seas.upenn.edu/~sweirich/papers/icfp11.pdf",
}
@Misc{unicon,
title = "Unicon",
note = "\url{http://unicon.sourceforge.net/}",
URL = "http://unicon.sourceforge.net/",
}
@Article{urban-04,
author = "Christian Urban and Andrew Pitts and Murdoch Gabbay",
title = "Nominal Unification",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment