Scholarly Works

Incorporating quotation and evaluation into...

Journal article

Incorporating quotation and evaluation into Church's type theory.

Authors

Farmer WM

Journal

Inf. Comput., Vol. 260, , pp. 9–50

Publication Date

January 1, 2018

DOI

10.1016/j.ic.2018.03.001

Associated Experts

William Michael Farmer

Professor, Faculty of Engineering

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback