...

[bitonic-mengthesis.git] / thesis.bib

diff --git a/thesis.bib b/thesis.bib
index 47bb5967d59372f93dfc52a693d30475cfd915fc..a45ff86c58712ea2fdc309dcfe560555fcc68c58 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -73,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}
@@ -222,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},
@@ -287,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},
@@ -311,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}
-}