-
1
-
-
0027574302
-
Computational interpretations of linear logic
-
S. Abramsky, Computational interpretations of linear logic, Theoret. Comput. Sci. 111(1-2) (1993) 3-57. Previously Available as Department of Computing, Imperial College Technical Report 90/20, 1990.
-
(1993)
Theoret. Comput. Sci.
, vol.111
, Issue.1-2
, pp. 3-57
-
-
Abramsky, S.1
-
2
-
-
0027574302
-
-
Previously Available as Department of Computing
-
S. Abramsky, Computational interpretations of linear logic, Theoret. Comput. Sci. 111(1-2) (1993) 3-57. Previously Available as Department of Computing, Imperial College Technical Report 90/20, 1990.
-
(1990)
Imperial College Technical Report 90/20
-
-
-
3
-
-
85026751757
-
Full abstraction for PCF
-
Proc. Conf. on Theoretical Aspects of Computer Software
-
S. Abramsky, R. Jagadeesan, P. Malacaria, Full abstraction for PCF (Extended Abstract), Proc. Conf. on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, vol. 789, 1994, pp. 1-5.
-
(1994)
Lecture Notes in Computer Science
, vol.789
, pp. 1-5
-
-
Abramsky, S.1
Jagadeesan, R.2
Malacaria, P.3
-
5
-
-
84976007916
-
(Black star)-autonomous categories and linear logic
-
M. Barr, (Black star)-autonomous categories and linear logic, Math. Struct. Comput. Sci. 1 (1991) 159-178.
-
(1991)
Math. Struct. Comput. Sci.
, vol.1
, pp. 159-178
-
-
Barr, M.1
-
6
-
-
0003653948
-
A mixed linear and non-linear logic: Proofs, terms and models
-
Computer Laboratory, University of Cambridge
-
P.N. Benton, A mixed linear and non-linear logic: proofs, terms and models, Technical Report 352, Computer Laboratory, University of Cambridge, 1994.
-
(1994)
Technical Report
, vol.352
-
-
Benton, P.N.1
-
7
-
-
0346107844
-
Strong normalisation for the linear term calculus
-
P.N. Benton, Strong normalisation for the linear term calculus, J. Funct. Programming 5(1) (1995) 65-80.
-
(1995)
J. Funct. Programming
, vol.5
, Issue.1
, pp. 65-80
-
-
Benton, P.N.1
-
8
-
-
0013279209
-
Term assignment for intuitionistic linear logic
-
Computer Laboratory, University of Cambridge, August
-
P.N. Benton, G.M. Bierman, V.C.V. de Paiva, J.M.E. Hyland, Term assignment for intuitionistic linear logic, Technical Report 262, Computer Laboratory, University of Cambridge, August 1992.
-
(1992)
Technical Report
, vol.262
-
-
Benton, P.N.1
Bierman, G.M.2
De Paiva, V.C.V.3
Hyland, J.M.E.4
-
9
-
-
85022772978
-
A term calculus for intuitionistic linear logic
-
M. Bezem, J.F. Groote (Eds.), Proc. Ist Int. Conf. on Typed λ-calculi and applications
-
P.N. Benton, G.M. Bierman, V.C.V. de Paiva, J.M.E. Hyland, A term calculus for intuitionistic linear logic, in: M. Bezem, J.F. Groote (Eds.), Proc. Ist Int. Conf. on Typed λ-calculi and applications, Lecture Notes in Computer Science, vol. 664, 1993, pp. 75-90.
-
(1993)
Lecture Notes in Computer Science
, vol.664
, pp. 75-90
-
-
Benton, P.N.1
Bierman, G.M.2
De Paiva, V.C.V.3
Hyland, J.M.E.4
-
10
-
-
0029700511
-
Linear logic, monads and the lambda calculus
-
P.N. Benton, P. Wadler, Linear logic, monads and the lambda calculus, Proc. Symp. on Logic in Computer Science, 1996, pp. 420-431.
-
(1996)
Proc. Symp. on Logic in Computer Science
, pp. 420-431
-
-
Benton, P.N.1
Wadler, P.2
-
11
-
-
0004260277
-
-
Ph.D. Thesis, Computer Laboratory, University of Cambridge, December
-
G.M. Bierman, On intuitionistic linear logic, Ph.D. Thesis, Computer Laboratory, University of Cambridge, December 1993. Published as Computer Laboratory Technical Report 346, August 1994.
-
(1993)
On Intuitionistic Linear Logic
-
-
Bierman, G.M.1
-
12
-
-
0346738243
-
-
Published as August
-
G.M. Bierman, On intuitionistic linear logic, Ph.D. Thesis, Computer Laboratory, University of Cambridge, December 1993. Published as Computer Laboratory Technical Report 346, August 1994.
-
(1994)
Computer Laboratory Technical Report
, vol.346
-
-
-
13
-
-
84947442841
-
What is a categorical model of intuitionistic linear logic?
-
Proc. 2nd Int. Conf. on Typed λ-calculi and applications, April
-
G.M. Bierman, What is a categorical model of intuitionistic linear logic?, Proc. 2nd Int. Conf. on Typed λ-calculi and applications, vol. 902 of Lecture Notes in Computer Science, April 1995, pp. 78-93. Previously available as Technical Report 333, University of Cambridge Computer Laboratory, March 1994.
-
(1995)
Lecture Notes in Computer Science
, vol.902
, pp. 78-93
-
-
Bierman, G.M.1
-
14
-
-
84947442841
-
-
Previously available as University of Cambridge Computer Laboratory, March
-
G.M. Bierman, What is a categorical model of intuitionistic linear logic?, Proc. 2nd Int. Conf. on Typed λ-calculi and applications, vol. 902 of Lecture Notes in Computer Science, April 1995, pp. 78-93. Previously available as Technical Report 333, University of Cambridge Computer Laboratory, March 1994.
-
(1994)
Technical Report
, vol.333
-
-
-
15
-
-
0346107842
-
A classical linear λ-calculus
-
Computer Laboratory, University of Cambridge, July
-
G.M. Bierman, A classical linear λ-calculus, Technical Report 401, Computer Laboratory, University of Cambridge, July 1996.
-
(1996)
Technical Report
, vol.401
-
-
Bierman, G.M.1
-
16
-
-
19144368055
-
Towards a classical linear λ-calculus
-
Proc. Tokyo Conf. on Linear Logic, Elsevier, Amsterdam
-
G.M. Bierman, Towards a classical linear λ-calculus, Proc. Tokyo Conf. on Linear Logic, Electronic Notes in Computer Science, vol. 3, Elsevier, Amsterdam, 1996.
-
(1996)
Electronic Notes in Computer Science
, vol.3
-
-
Bierman, G.M.1
-
17
-
-
0346107841
-
Observations on a linear PCF
-
Computer Laboratory, University of Cambridge, January
-
G.M. Bierman, Observations on a linear PCF, Technical Report 412, Computer Laboratory, University of Cambridge, January 1997.
-
(1997)
Technical Report
, vol.412
-
-
Bierman, G.M.1
-
18
-
-
84896758467
-
A computational interpretation of the λμ-calculus
-
L. Brim, J. Gruska, J. Zlatuška (Eds.), Proc. Symp. on Mathematical Foundations of Computer Science, August
-
G.M. Bierman, A computational interpretation of the λμ-calculus, in: L. Brim, J. Gruska, J. Zlatuška (Eds.), Proc. Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 1450, August 1998, pp. 336-345.
-
(1998)
Lecture Notes in Computer Science
, vol.1450
, pp. 336-345
-
-
Bierman, G.M.1
-
19
-
-
0001960587
-
Intuitionistic necessity revisited
-
School of Computer Science, University of Birmingham, June
-
G.M. Bierman, V.C.V. de Paiva, Intuitionistic necessity revisited, Technical Report CSR-96-10, School of Computer Science, University of Birmingham, June 1996.
-
(1996)
Technical Report CSR-96-10
-
-
Bierman, G.M.1
De Paiva, V.C.V.2
-
20
-
-
0001618306
-
A game semantics for linear logic
-
A. Blass, A game semantics for linear logic, Ann. Pure Appl. Logic 56 (1992) 183-220.
-
(1992)
Ann. Pure Appl. Logic
, vol.56
, pp. 183-220
-
-
Blass, A.1
-
21
-
-
0347368677
-
On sequence-conclusion natural deduction systems
-
B.R. Boričić, On sequence-conclusion natural deduction systems, J. Philos. Logic 14 (1985) 359-377.
-
(1985)
J. Philos. Logic
, vol.14
, pp. 359-377
-
-
Boričić, B.R.1
-
22
-
-
38249010829
-
Existential instantiation and normalization in sequent natural deduction
-
C. Cellucci, Existential instantiation and normalization in sequent natural deduction, Ann. Pure Appl. Logic 58(2) (1992) 111-148.
-
(1992)
Ann. Pure Appl. Logic
, vol.58
, Issue.2
, pp. 111-148
-
-
Cellucci, C.1
-
23
-
-
0013548862
-
A semantics of evidence of classical arithmetic
-
Th. Coquand, A semantics of evidence of classical arithmetic, J. Symbolic Logic 60 (1995) 325-337.
-
(1995)
J. Symbolic Logic
, vol.60
, pp. 325-337
-
-
Coquand, Th.1
-
24
-
-
84942118207
-
Investigations into logical deduction
-
M.E. Szabo (Eds.), North-Holland, Amsterdam, English Translation of 1935 German original
-
G. Gentzen, Investigations into logical deduction, in: M.E. Szabo (Eds.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 68-131. English Translation of 1935 German original.
-
(1969)
The Collected Papers of Gerhard Gentzen
, pp. 68-131
-
-
Gentzen, G.1
-
26
-
-
0003297091
-
Proofs and Types
-
Cambridge University Press, Cambridge
-
J.-Y. Girard, Y. Lafont, P. Taylor, Proofs and Types, Cambridge Tracts in Theoretical Computer Science, vol. 7, Cambridge University Press, Cambridge, 1989.
-
(1989)
Cambridge Tracts in Theoretical Computer Science
, vol.7
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
28
-
-
0002386430
-
The formulae-as-types notion of construction
-
J.R. Hindley, J.P. Seldin (Eds.), Academic Press, New York
-
W.A. Howard, The formulae-as-types notion of construction, in: J.R. Hindley, J.P. Seldin (Eds.), To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and formalism, Academic Press, New York, 1980.
-
(1980)
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
-
-
Howard, W.A.1
-
29
-
-
0029180794
-
Pi-calculus, dialogue games and PCF
-
J.M.E. Hyland, C.-H.L. Ong, Pi-calculus, dialogue games and PCF, Proc. Conf. on Functional Programming Languages and Computer Architecture, 1995, pp. 96-107.
-
(1995)
Proc. Conf. on Functional Programming Languages and Computer Architecture
, pp. 96-107
-
-
Hyland, J.M.E.1
Ong, C.-H.L.2
-
30
-
-
0010460113
-
Linear logic
-
P. Lincoln, Linear logic, ACM SIGACT News 23(2) (1992) 29-37.
-
(1992)
ACM SIGACT News
, vol.23
, Issue.2
, pp. 29-37
-
-
Lincoln, P.1
-
32
-
-
0029702436
-
A semantic view of classical proofs: Type-theoretic, categorical and denotational characterizations
-
C.-H.L. Ong, A semantic view of classical proofs: type-theoretic, categorical and denotational characterizations, Proc. Symp. on Logic in Computer Science, 1996, pp. 230-241.
-
(1996)
Proc. Symp. on Logic in Computer Science
, pp. 230-241
-
-
Ong, C.-H.L.1
-
33
-
-
84944098890
-
λμ-calculus: An algorithmic interpretation of classical natural deduction
-
Proc. Conf. on Logic Programming and Automated Reasoning
-
M. Parigot, λμ-calculus: an algorithmic interpretation of classical natural deduction, Proc. Conf. on Logic Programming and Automated Reasoning, Lecture Notes in Computer Science, vol. 624, 1992, pp. 190-201.
-
(1992)
Lecture Notes in Computer Science
, vol.624
, pp. 190-201
-
-
Parigot, M.1
-
34
-
-
0027225012
-
Strong normalisation for second order classical natural deduction
-
M. Parigot, Strong normalisation for second order classical natural deduction, Proc. Symp. on Logic in Computer Science, 1993, pp. 39-46.
-
(1993)
Proc. Symp. on Logic in Computer Science
, pp. 39-46
-
-
Parigot, M.1
-
35
-
-
0348104799
-
Natural Deduction
-
Almqvist and Wiksell, Stockholm
-
D. Prawitz, Natural Deduction, volume 3 of Stockholm Studies in Philosophy, Almqvist and Wiksell, Stockholm, 1965.
-
(1965)
Stockholm Studies in Philosophy
, vol.3
-
-
Prawitz, D.1
-
36
-
-
77956963145
-
Ideas and results in proof theory
-
J.E. Fenstad (Ed.)
-
D. Prawitz, Ideas and results in proof theory, in: J.E. Fenstad (Ed.), Proc. 2nd Scandinavian Logic Symp., 1971, 235-307.
-
(1971)
Proc. 2nd Scandinavian Logic Symp.
, pp. 235-307
-
-
Prawitz, D.1
-
40
-
-
0347998945
-
-
Ph.D. Thesis, 199x
-
C. Urban, Ph.D. Thesis, 199x.
-
-
-
Urban, C.1
|