Signatures as open-ended types
Author: Tim Fernando
Paper Information
| Title: | Signatures as open-ended types |
| Authors: | Tim Fernando |
| Proceedings: | NLCS 2014 Proceedings |
| Editors: | Larry Moss, Valeria de Paiva and Christian Retoré |
| Keywords: | open-endedness, signatures, institutions, category theory |
| Abstract: | ABSTRACT. Open-ended conceptions of time based on change and predication in natural language are analyzed through strings and records. A rudimentary system of types is provided through signatures within institutions. |
| Pages: | 0 |
| Paper: |  |