2 papers
math.LO2014
Andrews' Type Theory with Undefinedness
William M. Farmer
is an elegant version of Church's type theory formulated and extensively studied by Peter B. Andrews. Like other traditional logics, does not admit undefi…
cs.MS2014
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Jacques Carette, William M. Farmer, Michael Kohlhase
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of…