Mercurial > cpdt > repo
comparison latex/cpdt.bib @ 347:36a08cad9245
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 } |