Mercurial > cpdt > repo

diff latex/cpdt.bib @ 317:50db9a6e2742

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished pass over InductiveTypes
author Adam Chlipala <adam@chlipala.net>
date Mon, 12 Sep 2011 11:21:27 -0400
parents 2aaff91f5258
children cbeccef45f4e
line wrap: on
line diff
--- a/latex/cpdt.bib	Sun Sep 11 17:22:36 2011 -0400
+++ b/latex/cpdt.bib	Mon Sep 12 11:21:27 2011 -0400
@@ -164,3 +164,12 @@
  year = {1988},
  pages = {199--208},
 } 
+
+@article{HOU,
+ author = {G\'erard Huet},
+ title = {The undecidability of unification in third order logic},
+ journal = {Information and Control},
+ voluem = {22(3)},
+ year = {1973},
+ pages = {257--267}
+}