Higher-order linear logic programming of categorial deduction
We show how categorial deduction can be implemented in (higher-order) linear logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi. This provides a method of solution to the parsing problem of Lambek categorial grammar applicable to a variet...
Descripción completa
Detalles Bibliográficos
| Autor: |
Morrill, Glyn|||0000-0002-5528-4384 |
|---|
| Tipo de recurso: | informe técnico
|
|---|
| Fecha de publicación: | 1994 |
|---|
| País: | España |
|---|
| Institución: | Universitat Politècnica de Catalunya (UPC) |
|---|
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
|---|
| Idioma: | inglés |
|---|
| OAI Identifier: | oai:upcommons.upc.edu:2117/96971 |
|---|
| Acceso en línea: | https://hdl.handle.net/2117/96971
|
|---|
| Access Level: | acceso abierto |
|---|
| Palabra clave: | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
|---|
