To access the full text documents, please follow this link: http://hdl.handle.net/2117/28269
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.contributor.author | Morrill, Glyn |
dc.date | 2014 |
dc.identifier.citation | Morrill, G. A categorial type logic. "Lecture notes in computer science", 2014, vol. 8222, p. 331-352. |
dc.identifier.citation | 0302-9743 |
dc.identifier.citation | 10.1007/978-3-642-54789-8_18 |
dc.identifier.uri | http://hdl.handle.net/2117/28269 |
dc.language.iso | eng |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_18 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Computational linguistics |
dc.subject | Programming languages (Electronic computers) -- Semantics |
dc.subject | Lingüística computacional |
dc.subject | Llenguatges de programació -- Semàntica |
dc.title | A categorial type logic |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract |