-
1
-
-
8344260845
-
A third-order representation of the λμ-calculus
-
S.J. Ambler, R.L. Croie, and A. Momigliano, editors, Elsevier
-
Andreas Abel. A third-order representation of the λμ-Calculus. In S.J. Ambler, R.L. Croie, and A. Momigliano, editors, Electronic Notes in Theoretical Computer Science, volume 58. Elsevier, 2001.
-
(2001)
Electronic Notes in Theoretical Computer Science
, vol.58
-
-
Abel, A.1
-
2
-
-
0002434037
-
Towards a geometry of interaction
-
Jean-Yves Girard. Towards a geometry of interaction. Contemporary Mathematics, 92:69-108.
-
Contemporary Mathematics
, vol.92
, pp. 69-108
-
-
Girard, J.-Y.1
-
4
-
-
0025211131
-
The formulae-as-types notion of control
-
ACM Press, New York
-
Timothy G. Griffin. The formulae-as-types notion of control. In Conf. Record 17th Annual ACM Symp. on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17-19 Jan 1990, pages 47-57. ACM Press, New York, 1990.
-
(1990)
Conf. Record 17th Annual ACM Symp. on Principles of Programming Languages, POPL'90, San Francisco, CA, USA, 17-19 Jan 1990
, pp. 47-57
-
-
Griffin, T.G.1
-
6
-
-
4544347985
-
Modal logic as a basis for distributed computation
-
Carnegie Mellon University, Oct
-
Jonathan Moody. Modal logic as a basis for distributed computation. Technical Report CMU-CS-03-194, Carnegie Mellon University, Oct 2003.
-
(2003)
Technical Report
, vol.CMU-CS-03-194
-
-
Moody, J.1
-
7
-
-
26944487072
-
Distribed control flow with classical modal logic
-
(technical report). Carnegie Mellon University, Dec
-
Tom Murphy, VII, Karl Crary, and Robert Harper. Distribed control flow with classical modal logic (technical report). Technical Report CMU-CS-04-177, Carnegie Mellon University, Dec 2004.
-
(2004)
Technical Report
, vol.CMU-CS-04-177
-
-
Murphy VII, T.1
Crary, K.2
Harper, R.3
-
8
-
-
4544313887
-
A symmetric modal lambda calculus for distributed computing
-
IEEE Press, July
-
Tom Murphy, VII, Karl Crary, Robert Harper, and Frank Pfenning. A symmetric modal lambda calculus for distributed computing. In Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 8004). IEEE Press, July 2004.
-
(2004)
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 8004)
-
-
Murphy VII, T.1
Crary, K.2
Harper, R.3
Pfenning, F.4
-
9
-
-
0347777962
-
Classical proofs as programs: How, what and why
-
Cornell University
-
Chetan Murthy. Classical proofs as programs: How, what and why. Technical Report TR91-1215, Cornell University, 1991.
-
(1991)
Technical Report
, vol.TR91-1215
-
-
Murthy, C.1
-
10
-
-
84944098890
-
λμ-Calculus: An algorithmic interpretation of classical natural deduction
-
Andrei Voronkov, editor, Logic Programming and Automated Reasoning, International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Springer
-
Michel Parigot. λμ-Calculus: An algorithmic interpretation of classical natural deduction. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning, International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, volume 624 of Lecture Notes in Computer Science. Springer, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.624
-
-
Parigot, M.1
-
11
-
-
35448990873
-
System description: Twelf - A metalogical framework for deductive systems
-
Harald Ganzinger, editor, Trento, Italy, July. Springer-Verlag. LNAI 1632
-
Frank Pfenning and Carsten Schürmann. System description: Twelf - a metalogical framework for deductive systems. In Harald Ganzinger, editor, Proceedings of the 16th International Conference on Automated Deduction, pages 202-206, Trento, Italy, July 1999. Springer-Verlag. LNAI 1632.
-
(1999)
Proceedings of the 16th International Conference on Automated Deduction
, pp. 202-206
-
-
Pfenning, F.1
Schürmann, C.2
-
12
-
-
0004243121
-
-
Cambridge University Press, Cambridge, England
-
John H. Reppy. Concurrent Programming in ML. Cambridge University Press, Cambridge, England, 1999.
-
(1999)
Concurrent Programming in ML
-
-
Reppy, J.H.1
-
13
-
-
35248819262
-
A coverage checking algorithm for LF
-
D. Basin and B. Wolff, editors, Rome, Italy, September. Springer-Verlag LNCS 2758
-
Carsten Schürmann and Frank Pfenning. A coverage checking algorithm for LF. In D. Basin and B. Wolff, editors, Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), pages 120-135, Rome, Italy, September 2003. Springer-Verlag LNCS 2758.
-
(2003)
Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003)
, pp. 120-135
-
-
Schürmann, C.1
Pfenning, F.2
|