X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;ds=sidebyside;f=thesis.bib;h=a45ff86c58712ea2fdc309dcfe560555fcc68c58;hb=c9b61fe511ff3c9dc42ce657a03d5a81b1a6bee5;hp=9519f9ffc4a98aa63a1e57005428366d21818d7d;hpb=0f7b3d5caf45b74d21a2a0042aa73a4112f805df;p=bitonic-mengthesis.git

diff --git a/thesis.bib b/thesis.bib
index 9519f9f..a45ff86 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -12,6 +12,13 @@
   year = {2002}
 }
 
+@inbook{Queinnec2003,
+  author    = {Christian Queinnec},
+  title     = {Lisp in Small Pieces},
+  publisher = {Cambridge University Press},
+  year      = {2003},
+}
+
 @online{Coq,
   author = {{The Coq Team}},
   title = {The Coq Proof Assistant},
@@ -66,12 +73,11 @@
   publisher = Prentice-Hall
 }
 
-
 @article{Altenkirch2010,
-author = {Altenkirch, Thorsten and Danielsson, N and L\"{o}h, A and Oury, Nicolas},
+author = {Altenkirch, Thorsten and Danielsson, Nils Anders and L\"{o}h, Andres and Oury, Nicolas},
 file = {:home/bitonic/docs/papers/PiSigma.pdf:pdf},
-journal = {Functional and Logic \ldots},
-number = {Sheard 2005},
+journal = {Functional and Logic Programming},
+pages = {40--55},
 title = {{$\Pi$$\Sigma$: dependent types without the sugar}},
 url = {http://www.springerlink.com/index/91W712G2806R575H.pdf},
 year = {2010}
@@ -215,6 +221,14 @@ url = {http://strictlypositive.org/view.ps.gz},
 volume = {14},
 year = {2004}
 }
+@phdthesis{McBride1999,
+author = {McBride, Conor},
+file = {:home/bitonic/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/McBride - 1999 - Dependently typed functional programs and their proofs.pdf:pdf},
+school = {University of Edinburgh},
+title = {{Dependently typed functional programs and their proofs}},
+url = {http://lac-repo-live7.is.ed.ac.uk/handle/1842/374},
+year = {1999}
+}
 @phdthesis{Norell2007,
 author = {Norell, Ulf},
 file = {:home/bitonic/docs/papers/ulf-thesis.pdf:pdf},
@@ -280,6 +294,16 @@ title = {{System F with type equality coercions}},
 url = {http://portal.acm.org/citation.cfm?doid=1190315.1190324},
 year = {2007}
 }
+@article{Tait1967,
+author = {Tait, William W.},
+file = {:home/bitonic/docs/papers/tait-normalising.pdf:pdf},
+journal = {The Journal of Symbolic Logic},
+number = {2},
+pages = {198--212},
+title = {{Intensional Interpretations of Functionals of Finite Type}},
+volume = {32},
+year = {1967}
+}
 @article{Vytiniotis2011,
 author = {Vytiniotis, Dimitrios and Jones, Simon Peyton and Schrijvers, Tom and Sulzmann, Martin},
 file = {:home/bitonic/docs/papers/outsidein.pdf:pdf},
@@ -304,11 +328,3 @@ title = {{Giving Haskell a promotion}},
 url = {http://dl.acm.org/citation.cfm?doid=2103786.2103795},
 year = {2012}
 }
-@phdthesis{McBride1999,
-author = {McBride, Conor},
-file = {:home/bitonic/docs/papers/conorthesis.pdf:pdf},
-school = {University of Edinburgh},
-title = {{Dependently typed functional programs and their proofs}},
-url = {http://lac-repo-live7.is.ed.ac.uk/handle/1842/374},
-year = {1999}
-}