wip

Author: 5HT

doc/anders.pdf

@@ -17,7 +17,7 @@
 \end{CCSXML}
 
 \ccsdesc[300]{Theory of computation~Lambda calculus}
-\keywords{Homotopy Type Theory, Differential Geometry, Cohesive Type Theory, Simplicial Type Theory}
+\keywords{Homotopy Type Theory, Differential Geometry, Cohesive Type Theory, Simplicial Type Theory, Modal Type Theory, Foundations of Mathematics}
 
 \nolinenumbers
 \hideLIPIcs
@@ -57,7 +57,7 @@
 \maketitle
 
 \begin{abstract}
-Here is presented a derivative work of \textbf{cubicaltt} with \textbf{cohesivett} features called \textbf{anders}.
+Derivative work of \textbf{cubicaltt} with \textbf{cohesivett} and \textbf{stt} features.
 \end{abstract}
 
 \tableofcontents