Difference lists and difference bags for logic programming of categorial deduction
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/82426
Tipus de documentReport de recerca
Data publicació1995-01-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Forma partLSI-95-30-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R95-30.ps | 293,5Kb | Postscript | Visualitza/Obre |