Difference lists and difference bags for logic programming of categorial deduction

dc.contributor.author	Llore, F. X.
dc.contributor.author	Morrill, Glyn
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned	2016-02-02T13:49:25Z
dc.date.available	2016-02-02T13:49:25Z
dc.date.issued	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.format.extent	15 p.
dc.language.iso	eng
dc.relation.ispartofseries	LSI-95-30-R
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject.other	Lambeck calculus
dc.subject.other	Type logical grammar
dc.subject.other	Linear logic
dc.subject.other	Logic programming
dc.subject.other	Constraint propagation
dc.title	Difference lists and difference bags for logic programming of categorial deduction
dc.type	External research report
dc.contributor.group	Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.contributor.group	Universitat Politècnica de Catalunya. TALP - Centre de Tecnologies i Aplicacions del Llenguatge i la Parla
dc.rights.access	Open Access
local.identifier.drac	664045
local.personalitzacitacio	true

UPCommons. Portal del coneixement obert de la UPC