Theory of Discontinuous Lambek Calculus 

Valentín Gallart, Oriol (Date of defense: 2012-12-20)

Aquesta tesi s'emmarca dins del camp de la lingüística matemàtica, concretament en la branca de la gramàtica lògica de tipus, disciplina íntimament relacionada amb la teoria de la demostració. En aquest treball es proposa ...