Prose for domain-theoretic approach

7057f379 · Adam Chlipala · 8ed7cf25 · 7057f379 · 7057f379
Commit 7057f379 authored Oct 28, 2011 by Adam Chlipala
Expand all Show whitespace changes
Inline Side-by-side

Showing with 86 additions and 59 deletions

cpdt.bib latex/cpdt.bib +8 -0

GeneralRec.v src/GeneralRec.v +78 -59

No files found.
--- a/latex/cpdt.bib
+++ b/latex/cpdt.bib
@@ -259,3 +259,11 @@
 year = {2006},
 booktitle = {Proceedings of the 15th European Symposium on Programming}
 }
+@InBook{WinskelDomains,
+  author       = "Glynn Winskel",
+  title        = "The Formal Semantics of Programming Languages",
+  year         = "1993",
+  publisher    = "MIT Press",
+  chapter      = "8"
+}
--- a/src/GeneralRec.v
+++ b/src/GeneralRec.v