Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 355:62fdf0993e05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prose for domain-theoretic approach
author Adam Chlipala <adam@chlipala.net>
date Fri, 28 Oct 2011 15:38:41 -0400
parents 36a08cad9245
children 50e1d338728c
comparison
equal deleted inserted replaced
354:dc99dffdf20a 355:62fdf0993e05
257 author = {Xavier Leroy and Herv\'e Grall}, 257 author = {Xavier Leroy and Herv\'e Grall},
258 title = {Coinductive big-step operational semantics}, 258 title = {Coinductive big-step operational semantics},
259 year = {2006}, 259 year = {2006},
260 booktitle = {Proceedings of the 15th European Symposium on Programming} 260 booktitle = {Proceedings of the 15th European Symposium on Programming}
261 } 261 }
262
263 @InBook{WinskelDomains,
264 author = "Glynn Winskel",
265 title = "The Formal Semantics of Programming Languages",
266 year = "1993",
267 publisher = "MIT Press",
268 chapter = "8"
269 }