12 citations · 44 across the 16 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 5 cited
Incorporating Quotation and Evaluation Into Church's Type Theory
William M. Farmer
is a version of Church's type theory that includes quotation and evaluation operators that are similar to quote and eval in the Lisp programming language. With…
cs.LO2016
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics
William M. Farmer
is a version of Church's type theory that includes quotation and evaluation operators that are similar to quote and eval in the Lisp programming languag…