Journal article
Incorporating quotation and evaluation into Church's type theory.
Authors
Farmer WM
Journal
Inf. Comput., Vol. 260, , pp. 9–50
Publication Date
2018
DOI
10.1016/j.ic.2018.03.001
Experts has a new look! Let us know what you think of the updates.
Provide feedback