A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theory, called NPM, has been under development that can be viewed as an early-stage project in mathematical knowledge management and mathematical user interface development. We discuss in greater detail the notion of a visual type theory, report on progress towards a usable mathematical visual type theory, and discuss the outlook for future work on this project.
@article{arxiv.1608.03026,
title = {Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface},
author = {Lucius Schoenbaum},
journal= {arXiv preprint arXiv:1608.03026},
year = {2016}
}
Comments
19 pages, to appear in Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, Bialystok, Poland 2016