make paper version of highordcpu resemble compilable version of highordcpu

[matthijs/master-project/dsd-paper.git] / clash.bib

diff --git a/clash.bib b/clash.bib
index 5bec9134a33a3a08bd425c90fc44a42b8b97752d..e0ef497d9175f34f9220c822581ca9460042c0a9 100644 (file)
--- a/clash.bib
+++ b/clash.bib
@@ -106,6 +106,18 @@
   timestamp = {2010.01.21}
 }
 
+@BOOK{lambdacalculus,
+  title = {{The Lambda Calculus: its Syntax and Semantics}},
+  publisher = {{Elsevier Science}},
+  year = {1984},
+  author = {{H.P. Barendregt}},
+  volume = {103},
+  series = {{Studies in Logic and the Foundations of Mathematics}},
+  edition = {{Revised}},
+  owner = {baaijcpr},
+  timestamp = {2010.03.02}
+}
+
 @INPROCEEDINGS{DAISY,
   author = {Johnson, Steven D.},
   title = {Applicative programming and digital design},