Memoisation of categorial proof nets: parallelism in categorial processing
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97106
Tipus de documentReport de recerca
Data publicació1996-02
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 introduce a method of memoisation of categorial proof nets.
Exploiting the planarity of non-commutative proof nets, and
unifiability as a correctness criterion, parallelism is simulated
through construction of a proof net matrix of most general unifiers
for modules, in a manner analogous to the Cocke-Younger-Kasami
algorithm for context free grammars.
CitacióMorrill, G. "Memoisation of categorial proof nets: parallelism in categorial processing". 1996.
Forma partLSI-96-24-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400244618.pdf | 1,530Mb | Visualitza/Obre |