Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
316:2aaff91f5258 317:50db9a6e2742
162 title = {Higher-order abstract syntax}, 162 title = {Higher-order abstract syntax},
163 booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation}, 163 booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
164 year = {1988}, 164 year = {1988},
165 pages = {199--208}, 165 pages = {199--208},
166 } 166 }
167
168 @article{HOU,
169 author = {G\'erard Huet},
170 title = {The undecidability of unification in third order logic},
171 journal = {Information and Control},
172 voluem = {22(3)},
173 year = {1973},
174 pages = {257--267}
175 }