Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/82426
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 | Universitat Politècnica de Catalunya. TALP - Centre de Tecnologies i Aplicacions del Llenguatge i la Parla |
dc.contributor.author | Llore, F. X. |
dc.contributor.author | Morrill, Glyn |
dc.date | 1995-01-01 |
dc.identifier.uri | http://hdl.handle.net/2117/82426 |
dc.description.abstract | We show how difference lists can be used for systematically compiled linear clauses for Lambek categorial grammar and its generalisations, in analogy with standard Horn clauses for CF grammar. We also consider use of difference bags for partitioning of linear sequents, and methods for ambiguity and polymorphism. |
dc.language.iso | eng |
dc.relation | LSI-95-30-R |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject | Lambeck calculus |
dc.subject | Type logical grammar |
dc.subject | Linear logic |
dc.subject | Logic programming |
dc.subject | Constraint propagation |
dc.title | Difference lists and difference bags for logic programming of categorial deduction |
dc.type | info:eu-repo/semantics/report |