Valeria de Paiva  Home/Search
Context
Related
| cs.bham.ac.uk/~vdp/publicat...lambek.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~vdp/publi...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. But it must be said from the start that the `answer' is only provided in semantical terms. The Proof Theory of the systems considered should be investigated in future work. Another warning is that the perspective of this note is basically from Category Theory as a branch of Mathematics, so words like categories and functors are always meant in their mathematical, rather than linguistical or philosophical sense. We first recall Linear Logic and provide the transformations to show... (Update)
Active bibliography (related documents): More All
1.6: Categorical Multirelations, Linear Logic and Petri Nets - de Paiva (1991) (Correct)
0.5: Weakly Distributive Categories - Cockett Seely (1991) (Correct)
0.5: The Acquisition of a Unification-Based Generalised Categorial.. - Villavicencio (2002) (Correct)
Similar documents based on text: More All
0.7: Categorial Grammar, Modalities and Algebraic Semantics - Versmissen (1993) (Correct)
0.7: A Note on Categorial Grammar, Disharmony and.. - Leiden University.. (Correct)
0.5: Categorial Grammar and Discourse Representation Theory - Muskens (1994) (Correct)
BibTeX entry: (Update)
@misc{ paiva-dialectica,
author = "Valeria de Paiva",
title = "A Dialectica Model of the Lambek Calculus",
url = "citeseer.ist.psu.edu/216799.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Linear - 1987
31 Springer-Verlag (context) - Categories, Working - 1971
26 Rendiconti del Seminario Matematico e Fisico di Milano (context) - Metric, Generalized et al. - 1973
15 Springer-Verlag (context) - BARR, Categories - 1979
5 Edinburgh Working Papers in Cognitive Science (context) - BARRY, Studies et al. - 1990
4 SHANKAR Decision Problems for Propositional Linear Logic (context) - LINCOLN, MITCHELL et al.
2 manuscript Sept (context) - HYLAND, de PAIVA
2 STREET Braided Monoidal Categories (context) - JOYAL - 1986
2 STREICHER Game Semantics for Linear Logic (context) - LAFONT
2 Categorial Grammars and Natural Language Structures (context) - The, Calculus - 1988
2 de PAIVA General Petri Nets and Simulation Morphisms (context) - BROWN, GURR
1 Linear Logic and Categorical Relations (context) - Petri - 1991
1 Studies in Logic and the Foundations of Mathematics vol (context) - The, Calculus et al. - 1984
1 BELLIN Mechanizing Proof TheoryResource Aware Logic and Proo.. (context) - Mechanizing, Resource et al.
1 GURR A Representation Theorem for Quantales (context) - BROWN - 1991
1 van Amsterdam (context) - Resource, Proof-theoretical et al. - 1991
1 Logik und Grundlagen d (context) - Completeness, Lambek et al. - 1986
1 Categorical Models of Relevance Logic (context) - MER
1 WEYHRAUCH A Decidable Fragment of Predicate Calculus (context) - KETONEN - 1984
1 Studies in Logic and the Foundations of Mathematics vol (context) - Proof - 1975
1 BARRY Categorial Deductions and Structural Operations (context) - MORRILL, LESLIE et al. - 1990
1 LAFONT Linear Logic and Lazy Computation (context) - GIRARD - 1987
1 issued as TR213 from Computer Lab (context) - The, Categories et al.
Documents on the same site (http://www.cs.bham.ac.uk/~vdp/publications/papers.html): More
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (Correct)
Relating Categorical and Kripke Semantics for.. - Alechina, de Paiva.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC