W. Farmer

activity

20112020

most citedChiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation

12 citations · 44 across the 16 of their papers we have counts for

collaborators

Showing 2014 · math.LOShow all

2 papers · 2 filters

math.LO2014

Andrews' Type Theory with Undefinedness

William M. Farmer

$Q_{0}$ is an elegant version of Church's type theory formulated and extensively studied by Peter B. Andrews. Like other traditional logics, $Q_{0}$ does not admit undefi…

math.LO2014★ 2 cited

Simple Type Theory with Undefinedness, Quotation, and Evaluation

William M. Farmer

This paper presents a version of simple type theory called $Q_{0}^{uqe}$ that is based on $Q_{0}$ , the elegant formulation of Church's type theory created and exten…