MoL-2014-12: Simon Docherty A Model Of Type Theory In Cubical Sets With Connections 1.Full Text, 2.Abstract. < Back