A System of Dependent Types, with an Implementation and a Philosophy

27 Oct 2016 Holmes M. Randall

This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from 10/22/2016... (read more)

PDF Abstract
No code implementations yet. Submit your code now