-
1
-
-
0027574302
-
Computational interpretations of linear logic
-
S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111:3-57, 1993.
-
(1993)
Theoretical Computer Science
, vol.111
, pp. 3-57
-
-
Abramsky, S.1
-
2
-
-
0000764813
-
Phase semantics and sequent calculus for pure non-commutative classical linear logic
-
December
-
V. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403-1451, December 1991.
-
(1991)
Journal of Symbolic Logic
, vol.56
, Issue.4
, pp. 1403-1451
-
-
Abrusci, V.M.1
-
4
-
-
84864190135
-
-
Technical Report LIENS 91-15, Dép. Maths et Info, Ecole Normale Supérieure, Paris, October
-
A. Asperti. A linguistic approach to dead-lock. Technical Report LIENS 91-15, Dép. Maths et Info, Ecole Normale Supérieure, Paris, October 1991.
-
(1991)
A Linguistic Approach to Dead-Lock
-
-
Asperti, A.1
-
5
-
-
21344488555
-
Yet another correctness criterion for multiplicative linear logic with mix
-
In A. Nerode and Yu. Matiyasevich, editors, of Lecture Notes in Computer Science, St. Petersburg, July, Springer Verlag
-
A. Asperti and G. Dore. Yet another correctness criterion for multiplicative linear logic with mix. In A. Nerode and Yu. Matiyasevich, editors, Logical Fundations of Computer Science, volume 813 of Lecture Notes in Computer Science, pages 34-46, St. Petersburg, July 1994. Springer Verlag.
-
(1994)
Logical Fundations of Computer Science
, vol.813
, pp. 34-46
-
-
Asperti, A.1
Dore, G.2
-
9
-
-
0037688055
-
-
Rendiconti del Seminario dell’Universitd d Politecnico Torino, October, Special issue on Logic and Computer Science
-
J.-Y. Girard. Multiplicatives. Rendiconti del Seminario dell’Universitd d Politecnico Torino, pages 11-33. October 1986. Special issue on Logic and Computer Science.
-
(1986)
Multiplicatives
, pp. 11-33
-
-
Girard, J.-Y.1
-
11
-
-
84976163878
-
A new constructive logic: Classical logic
-
November
-
J.-Y. Girard. A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1(3):255-296, November 1991.
-
(1991)
Mathematical Structures in Computer Science
, vol.1
, Issue.3
, pp. 255-296
-
-
Girard, J.-Y.1
-
13
-
-
0003365152
-
Advances in Linear Logic
-
editors, Cambridge University Press
-
J.-Y. Girard, Y. Lafont, and L. Regnier, editors. Advances in Linear Logic, volume 222 of London Mathematical Society Lecture Notes. Cambridge University Press, 1995.
-
(1995)
Mathematical Society Lecture Notes
, vol.222
-
-
Girard, J.-Y.1
Lafont, Y.2
Regnier, L.3
-
15
-
-
0040324131
-
Concurrency and plan generation in a logic programming language with a sequential operator
-
In P. van Hentenryck, editor, Genova, M.I.T. Press
-
A. Gugiielmi. Concurrency and plan generation in a logic programming language with a sequential operator. In P. van Hentenryck, editor, International Conference on Logic Programming, pages 240-254, Genova, 1994. M.I.T. Press.
-
(1994)
International Conference on Logic Programming
, pp. 240-254
-
-
Gugiielmi, A.1
-
17
-
-
43949161369
-
Logic programming in a fragment of intuitionistic linear logic
-
J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and computation, pages 327-365, 1994.
-
(1994)
Information and Computation
, pp. 327-365
-
-
Hodas, J.S.1
Miller, D.2
-
18
-
-
38149148467
-
Linear logic as a logic of computation
-
M. Kanovitch. Linear logic as a logic of computation. Annals of pure and applied logic, 67:183-212, 1994.
-
(1994)
Annals of Pure and Applied Logic
, vol.67
, pp. 183-212
-
-
Kanovitch, M.1
-
19
-
-
84958760366
-
Higher-order concurrent linear logic programming
-
of LNCS, Springer Verlag
-
N. Kobayashi and A. Yonezawa. Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, volume 907 of LNCS, pages 137-166. Springer Verlag, 1995.
-
(1995)
Theory and Practice of Parallel Programming
, vol.907
, pp. 137-166
-
-
Kobayashi, N.1
Yonezawa, A.2
-
20
-
-
0001065597
-
The mathematics of sentence structure
-
J. Lambek. The mathematics of sentence structure. American mathematical monthly, pages 154-170, 1958.
-
(1958)
American Mathematical Monthly
, pp. 154-170
-
-
Lambek, J.1
-
21
-
-
19144370851
-
Pomset logic as an alternative categorial grammar
-
In G. Morrill and R. Oehrle, editors, FoLLI
-
A. Lecomte and C. Retoré Pomset logic as an alternative categorial grammar. In G. Morrill and R. Oehrle, editors, Formal Grammar, pages 181-196, FoLLI.
-
Formal Grammar
, pp. 181-196
-
-
Lecomte, A.1
Retoré, C.2
-
22
-
-
0003323270
-
-
of Mathematics Studies. North-Holland, Annals of Discrete Mathematics
-
L. Lovhsz and M.D. Plummer. Matching Theory, volume 121 of Mathematics Studies. North-Holland, 1986. Annals of Discrete Mathematics 29.
-
(1986)
Matching Theory
, vol.121
, pp. 29
-
-
Lovhsz, L.1
Plummer, M.D.2
-
24
-
-
0010509074
-
-
Kluwer Academic Publishers, Dordrecht and Hingham
-
G. V. Morrill. Type Logical Grammar. Kluwer Academic Publishers, Dordrecht and Hingham, 1994.
-
(1994)
Type Logical Grammar
-
-
Morrill, G.V.1
-
26
-
-
0038375915
-
-
Electronic manuscript, University of Illinois (anonymous FTP from cs.niuc.edu), October
-
U. S. Reddy. A linear logic model of state. Electronic manuscript, University of Illinois (anonymous FTP from cs.niuc.edu), October 1993.
-
(1993)
A Linear Logic Model of State
-
-
Reddy, U.S.1
-
27
-
-
0030084648
-
Global state considered unnecessary: An introduction to object-based semantics
-
to appear
-
U. S. Reddy. Global state considered unnecessary: An introduction to object-based semantics. Journal of Lisp and Symbolic Computation, 1996. (to appear).
-
(1996)
Journal of Lisp and Symbolic Computation
-
-
Reddy, U.S.1
-
28
-
-
18544388585
-
-
Thèse de Doctorat, spécialité Mathé- matiques, Université Paris 7, février
-
C. Retoré. Réseaux et Séquents Ordonnés. Thèse de Doctorat, spécialité Mathé- matiques, Université Paris 7, février 1993.
-
(1993)
Réseaux Et Séquents Ordonnés
-
-
Retoré, C.1
-
31
-
-
84958955163
-
Une modalité autoduale pour le connecteur “precede”
-
Pierre Ageron, editor, Publications du Département de Mathématiques, Université de Caen, septembre
-
C. Retoré. Une modalité autoduale pour le connecteur “precede”. In Pierre Ageron, editor, Catégories, Algèbres, Esquisses et Néo-Esquisses, Publications du Département de Mathématiques, Université de Caen, pages 11-16, septembre 1994.
-
(1994)
Catégories, Algèbres, Esquisses Et Néo-Esquisses
, pp. 11-16
-
-
Retoré, C.1
-
32
-
-
19144368951
-
Perfect matchings and series-parallel graphs: Multiplicative proof nets as R&B-graphs
-
In J.-Y. Girard, M. Okada, and A. Scedrov, editors, of Electronic Notes in Computer Science. Elsevier
-
C. Retoré. Perfect matchings and series-parallel graphs: multiplicative proof nets as R& B-graphs. In J.-Y. Girard, M. Okada, and A. Scedrov, editors, Linear’96, volume 3 of Electronic Notes in Computer Science. Elsevier, 1996. (available from http://pigeon.elsevier.nl/mcs/tcs/pc/menu.html).
-
(1996)
Linear’96
, vol.3
-
-
Retoré, C.1
-
33
-
-
84959012872
-
A semantical characterisation of the correctness of a proof net
-
to appear
-
C. Retoré. A semantical characterisation of the correctness of a proof net. Mathematical Structures in Computer Science. (to appear)
-
Mathematical Structures in Computer Science
-
-
Retoré, C.1
-
34
-
-
84958977147
-
Pomset logic and discontinuity in natural language
-
C. Retort, editor, CRIN-C.N.R.S. & INRIA-Lorraineto appear in LNCS/LNAI series, Springer-Verlag
-
I. Schena. Pomset logic and discontinuity in natural language. In C. Retort, editor, Logical Aspects of Computational Linguistics, pages 7-12. CRIN-C.N.R.S. & INRIA-Lorraine, 1996. (to appear in LNCS/LNAI series, Springer-Verlag).
-
Logical Aspects of Computational Linguistics
, pp. 7-12
-
-
Schena, I.1
-
36
-
-
0003697510
-
-
of Center for the Study of Language and Information Lecture Notes. Cambridge University Press
-
A. S. Troelstra. Lectures on Linear Logic, volume 29 of Center for the Study of Language and Information Lecture Notes. Cambridge University Press, 1992.
-
(1992)
Lectures on Linear Logic
, vol.29
-
-
Troelstra, A.S.1
-
37
-
-
0001404569
-
The recognition of Series-Parallel digraphs
-
May
-
J. Valdes, R.E. Tarjan, and E. L. Lawler. The recognition of Series-Parallel digraphs. SIAM Journal of Computing, 11(2):298-313, May 1982.
-
(1982)
SIAM Journal of Computing
, vol.11
, Issue.2
, pp. 298-313
-
-
Valdes, J.1
Tarjan, R.E.2
Lawler, E.L.3
|