Propositional Attitude Operators in Homotopy Type Theory
Author: Colin Zwanziger
Paper Information
| Title: | Propositional Attitude Operators in Homotopy Type Theory |
| Authors: | Colin Zwanziger |
| Proceedings: | NLCS pre-workshop papers |
| Editors: | Larry Moss, Valeria de Paiva and Ash Asudeh |
| Keywords: | Comonads, Monads, Richard Montague, Intensional Logic, Hyperintensional Logic, Homotopy Type Theory, Intensional Type Theory, Modal Type Theory, Intension, Extension |
| Abstract: | ABSTRACT. See attachment. |
| Pages: | 4 |
| Talk: | Jul 07 11:00 (Session 26K: Contributed papers) |
| Paper: |  |