Eike Ritter, et al.  Home/Search
Context Related
| cs.bham.ac.uk/pub/author...ctcs93.ps.gz 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: fermivista.math...p.cs.bham.ac.uk (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Eike Ritter Valeria de Paiva Computer Laboratory University of Cambridge 1 Introduction This paper contributes to the area of "categorical combinatory logic" or "categorical combinators", following the steps of Curien [Cur93] and Ritter [Rit92]. We provide a precise syntactic formulation of the notion of a multicategory (a recent reference is Lambek [Lam89]) and based on that we give categorical combinators for (multiplicative) Intuitionistic Linear Logic, following the general approach of... (Update)
Context of citations to this paper: More
.... combinators has been a relatively long one, with an interesting interaction between the more abstract side of the work (reported in [7]) and its mechanized version. We started with a first (theoretically correct) formulation of the combinators for each of the several...
Cited by: More
Rewriting Properties of Combinators for Intuitionistic.. - Nesi, de Paiva, Ritter (1994) (Correct)
Active bibliography (related documents): More All
0.1: Categorical Models of Explicit Substitutions - Ghani, de Paiva, Ritter (1999) (Correct)
0.1: Categorical Logic - Pitts (2001) (Correct)
0.0: On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
Similar documents based on text: More All
0.5: Multi-Category Classification by Soft-Max.. - Duan, Keerthi, Chu, .. (Correct)
0.5: Normalization Bounds in Rudimentary Linear Lambda Calculus - Maietti, de Paiva, Ritter (Correct)
0.4: Representable Multicategories - Hermida (2000) (Correct)
BibTeX entry: (Update)
E. Ritter, V. de Paiva, `Syntactic Multicategories and Categorical Combinators for Linear Logic', submitted for presentation at CTCS'93, May 1993. http://citeseer.ist.psu.edu/ritter93syntactic.html More
@misc{ ritter93syntactic,
author = "E. Ritter and V. de Paiva",
title = "Syntactic Multicategories and Categorical Combinators for Linear Logic",
text = "E. Ritter, V. de Paiva, `Syntactic Multicategories and Categorical Combinators
for Linear Logic', submitted for presentation at CTCS'93, May 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/ritter93syntactic.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Lafont, abstract - 1988
106 The categorical abstract machine (context) - Cousineau, Curien et al. - 1987
46 Term assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
23 and Functional Programming (context) - Curien, Sequential - 1993
19 Multicategories revisited (context) - Lambek - 1989
18 A categorical semantics of constructions (context) - Ehrhard - 1988
11 Categorical Abstract Machines for Higher-Order Lambda Calcul.. (context) - Ritter - 1992
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.bham.ac.uk.html): More
Using Data Structures within Genetic Programming - Langdon (Correct)
Laws of Generalized Prioritization (Extended Abstract) - Ryan, Schobbens (1993) (Correct)
A Review of Theoretical and Experimental Results on Schemata.. - Poli, Langdon (1997) (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