@incollection {802714,
	title = {Two type-theoretical approaches to privative modification},
	booktitle = {New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops},
	year = {2009},
	pages = {239{\textendash}258},
	publisher = {Springer Verlag},
	address = {Berlin, Heidelberg},
	abstract = {<p>In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof{\textquoteright}s Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.</p>},
	isbn = {4-915905-37-3 C3004},
	author = {Primiero, Giuseppe and Jespersen, Bj{\o}rn},
	editor = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric}
}
