Updated readme

diff --git a/README.md b/README.md
index ed4587ec9ed7e9b2b105ef01512c93b0790c6725..d96d4d49c134008b67213835e51df899db7dd868 100644 (file)
--- a/README.md
+++ b/README.md
@@ -102,6 +102,11 @@ References and notes
  * HoTT book and webpage:
    [http://homotopytypetheory.org/](http://homotopytypetheory.org/)
 
+ * [Cubical Type Theory: a constructive interpretation of the
+   univalence
+   axiom](http://www.math.ias.edu/~amortberg/papers/cubicaltt.pdf),
+   Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg
+
  * [Cubical Type
    Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - The
    typing rules of the system. See [this](http://www.cse.chalmers.se/~coquand/face.pdf)