A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193)

Martin-Löf's type theory and subatomic systems are used as tools for analyzing certain difficult natural language constructs. The paper is rather readable, except for the overwhelming number of sub- and superscripts required by the subatomic formalism. The final section of the paper analyses a number of natural language sentences using the proposed formalism: the examples are illuminating, but a deeper discussion about the superiority of the subatomic systems approach is called for.