Iliano Cervesato. A Linear Logical Framework. PhD thesis, Dipartimento di Informatica, Universita di Torino, February 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
On Equivalence and Canonical Forms in the LF Type Theory - Harper, Pfenning (2001) (16 citations) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory - Harper, Pfenning (1999) (16 citations) (Correct)
On Equivalence and Canonical Forms - In The Lf (1999) (Correct)
On Equivalence and Canonical Forms - In The Lf (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
Properties of Terms in Continuation-Passing Style - In An Ordered Self-citation (Logical) (Correct)
A Linear Spine Calculus - Cervesato, Pfenning (2001) (1 citation) Self-citation (Cervesato) (Correct)
A Linear Spine Calculus - Iliano Cervesato Advanced Self-citation (Cervesato) (Correct)
Linear Higher-Order Pre-Unification - Iliano Cervesato And Self-citation (Cervesato) (Correct)
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (2 citations) Self-citation (Cervesato) (Correct)
A Linear Spine Calculus - Iliano Cervesato Advanced (2003) (1 citation) Self-citation (Cervesato) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
Linear Higher-Order Pre-Unification - Iliano Cervesato And (1997) (2 citations) Self-citation (Cervesato) (Correct)
A Linear Spine Calculus - Iliano Cervesato And (2003) (1 citation) Self-citation (Cervesato) (Correct)
Properties of Terms in Continuation-Passing Style in an.. - Polakow, Pfenning (2000) (16 citations) Self-citation (Logical) (Correct)
A Linear Spine Calculus - Cervesato, Pfenning (2003) (1 citation) Self-citation (Cervesato) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
A Concurrent Logical Framework: the - Propositional Fragment Kevin Self-citation (Cervesato Logical) (Correct)
A Linear Spine Calculus - Cervesato, Pfenning (2003) (1 citation) Self-citation (Cervesato) (Correct)
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Cervesato Logical) (Correct)
Properties of Terms in Continuation-Passing Style in an.. - Polakow, Pfenning (2000) (16 citations) Self-citation (Logical) (Correct)
A Linear Spine Calculus - Cervesato, Pfenning (2003) (1 citation) Self-citation (Cervesato) (Correct)
First 50 documents
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