Journal article
Andrews' Type Theory with Undefinedness
Abstract
${\cal Q}_0$ is an elegant version of Church's type theory formulated and
extensively studied by Peter B. Andrews. Like other traditional logics, ${\cal
Authors
Farmer WM
Journal
, , ,
Publication Date
June 29, 2014