DMCA

Lexical Ambiguity as Type Disjunction

by Nicholas Asher , Pascal Denis