Login / Signup

A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.

Bartosz Wieckowski
Published in: Stud Logica (2012)
Keyphrases