Return to Article Details Probabilistic Type Theory and Natural Language Semantics Download Download PDF