Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
No context found.
P. Martin Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universit`a di Siena, 1985.
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) (Correct)
No context found.
Per Martin-L of, On the meanings of the logical constants and the justifications of the logical laws, Nordic Journal of Philosophical Logic, vol. 1 (1996), no. 1, pp. 11--60, Lecture notes to a short course at Universita degli Studi di Siena, April 1983.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2005) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Modal Foundation for Meta-Variables - Aleksandar Nanevski Brigitte (2003) (1 citation) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Unknown - Linear Logic Programming (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Unknown - Labeled Deduction Starting (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universita di Siena, 1985.
Termination - As The Example (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Unknown - Linear Type Theory (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
Unknown - Linear Calculus In (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Modal Foundation for Meta-Variables - Nanevski, Pientka, Pfenning (2003) (1 citation) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11--60, 1996.
A Modal Analysis of Staged Computation - Rowan Davies And (1999) (124 citations) (Correct)
No context found.
Per Martin-Lof. On the meanings of the logical constants and the justifications of the logical laws. Technical Report 2, Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universit`a di Siena, 1985.
First 50 documents Next 50
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