From 6653229fe0b2e25b32204ba77a5f2e18e55329d8 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Wed, 20 Jan 2016 11:44:39 +0100
Subject: [PATCH] Updated readme

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index ed4587e..d96d4d4 100644
--- 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)
-- 
2.34.1