Structured Propositions as Types

By Peter W. Hanks. 2011

130 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/7f11489ffec46da26701a87092d21e8d3956109c