To access the full text documents, please follow this link: http://hdl.handle.net/2117/28269

A categorial type logic
Morrill, Glyn
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Computational linguistics
Programming languages (Electronic computers) -- Semantics
Lingüística computacional
Llenguatges de programació -- Semàntica
info:eu-repo/semantics/submittedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Valentín Fernández Gallart, José Oriol; Serret, Daniel; Morrill, Glyn
Morrill, Glyn; Valentín Fernández Gallart, José Oriol
Morrill, Glyn; Valentín Fernández Gallart, José Oriol
 

Coordination

 

Supporters