Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 347:36a08cad9245

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished pass over Coinductive
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Oct 2011 14:48:52 -0400
parents 5d85de065540
children 62fdf0993e05
comparison
equal deleted inserted replaced
346:5d85de065540 347:36a08cad9245
250 year = "1998", 250 year = "1998",
251 month = may, 251 month = may,
252 number = "0221", 252 number = "0221",
253 institution = "INRIA", 253 institution = "INRIA",
254 } 254 }
255
256 @inproceedings{BigStep,
257 author = {Xavier Leroy and Herv\'e Grall},
258 title = {Coinductive big-step operational semantics},
259 year = {2006},
260 booktitle = {Proceedings of the 15th European Symposium on Programming}
261 }