Conference
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics.
Authors
Farmer WM
Editors
Kohlhase M; Johansson M; Miller BR; Moura LD; Tompa FW
Series
Lecture Notes in Computer Science
Volume
9791
Pagination
pp. 83-98
Publisher
Springer
Publication Date
January 1, 2016
ISBN-13
978-3-319-42546-7
Conference proceedings
CICM