Underspecified Interpretations in a Curry-typed Representation Language

DOI10.1093/LOGCOM/EXI006zbMath1070.03515OpenAlexW2170537782MaRDI QIDQ3025330

Chris Fox, Shalom Lappin

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://sas-space.sas.ac.uk/855/1/S_Lappin_Underspecified.pdf

zbMATH Keywords

untyped lambda calculusproperty theoryCurry-typingintentional semanticsUnderspecified semanticsunresolved scope/readings

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Underspecified Interpretations in a Curry-typed Representation Language