-
2
-
-
0000421604
-
Logic programming with focusing proofs in linear logic
-
Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):197-347, 1992.
-
(1992)
Journal of Logic and Computation
, vol.2
, Issue.3
, pp. 197-347
-
-
Andreoli, J.-M.1
-
3
-
-
0011444582
-
A logic for concurrency
-
Department of Computer Science, University of Pisa
-
Andrea Asperti. A logic for concurrency. Technical report, Department of Computer Science, University of Pisa, 1987.
-
(1987)
Technical Report
-
-
Asperti, A.1
-
4
-
-
0025235724
-
Implicative formulae in the 'proofs as computations' analogy
-
ACM Press, January
-
Andrea Asperti, Gianluigi Ferrari, and Roberto Gorrieri. Implicative formulae in the 'proofs as computations' analogy. In Proceedings of the seventeenth Symposium on Principles of Programming Languages, San Francisco, pages 59-71. ACM Press, January 1990.
-
(1990)
Proceedings of the Seventeenth Symposium on Principles of Programming Languages, San Francisco
, pp. 59-71
-
-
Asperti, A.1
Ferrari, G.2
Gorrieri, R.3
-
5
-
-
0004308029
-
Dual intuitionistic linear logic
-
Department of Computer Science, University of Edinburgh, September
-
Andrew Barber. Dual intuitionistic linear logic. Technical Report ECS-LFCS-96-347, Department of Computer Science, University of Edinburgh, September 1996.
-
(1996)
Technical Report ECS-LFCS-96-347
-
-
Barber, A.1
-
6
-
-
3142684246
-
Logical frameworks
-
Dov Gabbay and Franz Guenthner, editors, Kluwer Academic Publishers, 2nd edition
-
David Basin and Seán Matthews. Logical frameworks. In Dov Gabbay and Franz Guenthner, editors, Handbook of Philosophical Logic. Kluwer Academic Publishers, 2nd edition, 2001.
-
(2001)
Handbook of Philosophical Logic
-
-
Basin, D.1
Matthews, S.2
-
7
-
-
0013066471
-
Monadic constructs for logic programming
-
J. Lloyd, editor, Portland, Oregon, December MIT Press
-
Yves Bekkers and Paul Tarau. Monadic constructs for logic programming. In J. Lloyd, editor, Proceedings of the International Logic Programming Symposium (ILPS'95), pages 51-65, Portland, Oregon, December 1995. MIT Press.
-
(1995)
Proceedings of the International Logic Programming Symposium (ILPS'95)
, pp. 51-65
-
-
Bekkers, Y.1
Tarau, P.2
-
9
-
-
0029700511
-
Linear logic, monads, and the lambda calculus
-
E. Clarke, editor, New Brunswick, New Jersey, July IEEE Computer Society Press
-
P. N. Benton and Philip Wadler. Linear logic, monads, and the lambda calculus. In E. Clarke, editor, Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 420-431, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press.
-
(1996)
Proceedings of the 11th Annual Symposium on Logic in Computer Science
, pp. 420-431
-
-
Benton, P.N.1
Wadler, P.2
-
10
-
-
0034627958
-
Zero-safe nets: Comparing the collective and individual token approaches
-
Roberto Bruni and Ugo Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation, 156(1-2):46-89, 2000.
-
(2000)
Information and Computation
, vol.156
, Issue.1-2
, pp. 46-89
-
-
Bruni, R.1
Montanari, U.2
-
11
-
-
0000998131
-
Petri nets and linear logic: A case study for logic programming
-
In M. Alpuente and M. I. Sessa, editors, Marina di Vietri, Italy
-
Iliano Cervesato. Petri nets and linear logic: a case study for logic programming. In M. Alpuente and M. I. Sessa, editors, Proceedings of the 1995 Joint Conference on Declarative Programming - GULP-PRODE'95, pages 313-318, Marina di Vietri, Italy, 1995.
-
(1995)
Proceedings of the 1995 Joint Conference on Declarative Programming - GULP-PRODE'95
, pp. 313-318
-
-
Cervesato, I.1
-
12
-
-
0011952633
-
-
PhD thesis, Dipartimento di Informatica, Università di Torino, February
-
Iliano Cervesato. A Linear Logical Framework. PhD thesis, Dipartimento di Informatica, Università di Torino, February 1996.
-
(1996)
A Linear Logical Framework
-
-
Cervesato, I.1
-
13
-
-
84955619856
-
Typed MSR: Syntax and examples
-
V.I. Gorodetski, V.A. Skormin, and L.J. Popyack, editors, St. Petersburg, Russia, 21-23 May Springer-Verlag LNCS 2052
-
Iliano Cervesato. Typed MSR: Syntax and examples. In V.I. Gorodetski, V.A. Skormin, and L.J. Popyack, editors, Proceedings of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security - MMM'01, pages 159-177, St. Petersburg, Russia, 21-23 May 2001. Springer-Verlag LNCS 2052.
-
(2001)
Proceedings of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security - MMM'01
, pp. 159-177
-
-
Cervesato, I.1
-
14
-
-
0037175760
-
A linear logical framework
-
November
-
Iliano Cervesato and Frank Pfenning. A linear logical framework. Information & Computation, 179(1):19-75, November 2002.
-
(2002)
Information & Computation
, vol.179
, Issue.1
, pp. 19-75
-
-
Cervesato, I.1
Pfenning, F.2
-
15
-
-
33746076366
-
A concurrent logical framework II: Examples and applications
-
Department of Computer Science, Carnegie Mellon University
-
Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins. A concurrent logical framework II: Examples and applications. Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University, 2002.
-
(2002)
Technical Report CMU-CS-02-102
-
-
Cervesato, I.1
Pfenning, F.2
Walker, D.3
Watkins, K.4
-
17
-
-
0013209446
-
Algorithmic definition of lambda-typed lambda calculus
-
G. Huet and G. Plotkin, editors, Cambridge University Press
-
N.G. de Bruijn. Algorithmic definition of lambda-typed lambda calculus. In G. Huet and G. Plotkin, editors, Logical Environment, pages 131-145. Cambridge University Press, 1993.
-
(1993)
Logical Environment
, pp. 131-145
-
-
De Bruijn, N.G.1
-
18
-
-
0011953679
-
Encoding dependent types in an intuitionistic logic
-
Gérard Huet and Gordon D. Plotkin, editors, Cambridge University Press
-
Amy Felty. Encoding dependent types in an intuitionistic logic. In Gérard Huet and Gordon D. Plotkin, editors, Logical Frameworks, pages 214-251. Cambridge University Press, 1991.
-
(1991)
Logical Frameworks
, pp. 214-251
-
-
Felty, A.1
-
19
-
-
84976721284
-
Multilisp: A language for parallel symbolic computation
-
October
-
Robert H. Halstead. Multilisp: A language for parallel symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501-539, October 1985.
-
(1985)
ACM Transactions on Programming Languages and Systems
, vol.7
, Issue.4
, pp. 501-539
-
-
Halstead, R.H.1
-
20
-
-
0027353175
-
A framework for defining logics
-
January
-
Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the Association for Computing Machinery, 40(1):143-184, January 1993.
-
(1993)
Journal of the Association for Computing Machinery
, vol.40
, Issue.1
, pp. 143-184
-
-
Harper, R.1
Honsell, F.2
Plotkin, G.3
-
21
-
-
43949161369
-
Logic programming in a fragment of intuitionistic linear logic
-
Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327-365, 1994.
-
(1994)
Information and Computation
, vol.110
, Issue.2
, pp. 327-365
-
-
Hodas, J.1
Miller, D.2
-
23
-
-
0034916645
-
Pi-calculus in (co)inductive type theories
-
Furio Honsell, Marino Miculan, and Ivan Scagnetto. Pi-calculus in (co)inductive type theories. Theoretical Computer Science, 253(2):239-285, 2001.
-
(2001)
Theoretical Computer Science
, vol.253
, Issue.2
, pp. 239-285
-
-
Honsell, F.1
Miculan, M.2
Scagnetto, I.3
-
24
-
-
0032284273
-
A relevant analysis of natural deduction
-
Samin Ishtiaq and David Pym. A relevant analysis of natural deduction. Journal of Logic and Computation, 8(6):809-838, 1998.
-
(1998)
Journal of Logic and Computation
, vol.8
, Issue.6
, pp. 809-838
-
-
Ishtiaq, S.1
Pym, D.2
-
25
-
-
0043076927
-
ACL - A concurrent linear logic programming paradigm
-
D. Miller, editor, Vancouver, Canada, MIT Press
-
Naoki Kobayashi and Akinori Yonezawa. ACL - A concurrent linear logic programming paradigm. In D. Miller, editor, Proceedings of the 1993 International Logic Programming Symposium, pages 279-294, Vancouver, Canada, 1993. MIT Press.
-
(1993)
Proceedings of the 1993 International Logic Programming Symposium
, pp. 279-294
-
-
Kobayashi, N.1
Yonezawa, A.2
-
26
-
-
0037351466
-
PAL+: A lambda-free logical framework
-
Zhaohui Luo. PAL+: A lambda-free logical framework. Journal of Functional Programming, 13(2):317-338, 2003.
-
(2003)
Journal of Functional Programming
, vol.13
, Issue.2
, pp. 317-338
-
-
Luo, Z.1
-
28
-
-
0001449785
-
From Petri nets to linear logic through categories: A survey
-
December
-
N. Martí-Oliet and J. Meseguer. From Petri nets to linear logic through categories: A survey. Journal on Foundations of Computer Science, 2(4):297-399, December 1991.
-
(1991)
Journal on Foundations of Computer Science
, vol.2
, Issue.4
, pp. 297-399
-
-
Martí-Oliet, N.1
Meseguer, J.2
-
29
-
-
0001172150
-
The π-calculus as a theory in linear logic: Preliminary results
-
E. Lamma and P. Mello, editors, Springer-Verlag LNCS 660
-
Dale Miller. The π-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the Workshop on Extensions of Logic Programming, pages 242-265. Springer-Verlag LNCS 660, 1992.
-
(1992)
Proceedings of the Workshop on Extensions of Logic Programming
, pp. 242-265
-
-
Miller, D.1
-
31
-
-
0024927385
-
Computational lambda calculus and monads
-
Asilomar, California, June IEEE Computer Society Press
-
Eugenio Moggi. Computational lambda calculus and monads. In Proceedings of the Fourth Symposium on Logic in Computer Science, pages 14-23, Asilomar, California, June 1989. IEEE Computer Society Press.
-
(1989)
Proceedings of the Fourth Symposium on Logic in Computer Science
, pp. 14-23
-
-
Moggi, E.1
-
32
-
-
0026188821
-
Notions of computation and monads
-
Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55-92, 1991.
-
(1991)
Information and Computation
, vol.93
, Issue.1
, pp. 55-92
-
-
Moggi, E.1
-
33
-
-
84947903948
-
The practice of logical frameworks
-
Hélène Kirchner, editor, Linköping, Sweden, April Springer-Verlag LNCS 1059. Invited talk
-
Frank Pfenning. The practice of logical frameworks. In Hélène Kirchner, editor, Proceedings of the Colloquium on Trees in Algebra and Programming, pages 119-134, Linköping, Sweden, April 1996. Springer-Verlag LNCS 1059. Invited talk.
-
(1996)
Proceedings of the Colloquium on Trees in Algebra and Programming
, pp. 119-134
-
-
Pfenning, F.1
-
34
-
-
0034711981
-
Structural cut elimination I. intuitionistic and classical logic
-
March
-
Frank Pfenning. Structural cut elimination I. intuitionistic and classical logic. Information and Computation, 157(1/2):84-141, March 2000.
-
(2000)
Information and Computation
, vol.157
, Issue.1-2
, pp. 84-141
-
-
Pfenning, F.1
-
35
-
-
0034864194
-
Intensionality, extensionality, and proof irrelevance in modal type theory
-
J. Halpern, editor, Boston, MA, June IEEE Computer Society Press
-
Frank Pfenning. Intensionality, extensionality, and proof irrelevance in modal type theory. In J. Halpern, editor, Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS'01), pages 221-230, Boston, MA, June 2001. IEEE Computer Society Press.
-
(2001)
Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS'01)
, pp. 221-230
-
-
Pfenning, F.1
-
36
-
-
0001255803
-
Logical frameworks
-
Alan Robinson and Andrei Voronkov, editors, chapter 17, Elsevier Science and MIT Press
-
Frank Pfenning. Logical frameworks. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, chapter 17, pages 1003-1147. Elsevier Science and MIT Press, 2001.
-
(2001)
Handbook of Automated Reasoning
, pp. 1003-1147
-
-
Pfenning, F.1
-
37
-
-
84945246255
-
A judgmental reconstruction of modal logic
-
Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications (IMLA'99), Trento, Italy, July 1999
-
Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511-540, 2001. Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications (IMLA'99), Trento, Italy, July 1999.
-
(2001)
Mathematical Structures in Computer Science
, vol.11
, pp. 511-540
-
-
Pfenning, F.1
Davies, R.2
-
38
-
-
35048894084
-
Proof irrelevance and strict definitions in a logical framework
-
Computer Science Department, Carnegie Mellon University
-
Jason Reed. Proof irrelevance and strict definitions in a logical framework. Technical Report CMU-CS-02-153, Computer Science Department, Carnegie Mellon University, 2002.
-
(2002)
Technical Report CMU-CS-02-153
-
-
Reed, J.1
-
40
-
-
12344320856
-
A concurrent logical framework I: Judgments and properties
-
Department of Computer Science, Carnegie Mellon University
-
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker. A concurrent logical framework I: Judgments and properties. Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University, 2002.
-
(2002)
Technical Report CMU-CS-02-101
-
-
Watkins, K.1
Cervesato, I.2
Pfenning, F.3
Walker, D.4
|