Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001. 29 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Equivalence and Canonical Forms in the LF Type Theory - Harper, Pfenning (2001) (16 citations) (Correct)
....Vanderwaart and Crary [VC01] have adapted the ideas with minor modifications to give a proof of the decidability for linear LF that is stronger than the original one [CP98] since it does not require # long forms from the start. The further adaptation to the case of an ordered linear type theory [Pol01] provides further evidence. Finally, the second author has adapted the technique to prove decidability and existence of canonical forms for a type theory with an internal notion of proof irrelevance and intensional types [Pfe01] We conclude that our technique is directly applicable for a large ....
....That is, if two terms are definitionally equal, the algorithm will succeed. The goal is to present a flexible and modular technique which can be adapted easily to related type theories, such as the one underlying the linear logical framework [CP98, VC01] one based on ordered linear logic [PP99, Pol01], or one including subtyping [Pfe93] or proof irrelevance and intensional types [Pfe01] Other techniques presented in the literature, particularly those based on a notion of # reduction, do not seem to adapt well to these richer theories. The central idea is to proceed by an argument via logical ....
[Article contains additional citation context not shown here]
Je# Polakow. Ordered Linear Logic and Applications. PhD thesis, Department of Computer Science, Carnegie Mellon University, August 2001.
A judgmental analysis of linear logic - Bor-Yuh Evan Chang Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001. 29
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001. 29
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001.
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001. 29
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001. 29
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Logic) (Correct)
No context found.
Jeff Polakow, Ordered linear logic and applications, Ph.D. thesis, Department of Computer Science, Carnegie Mellon University, August 2001.
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Logic) (Correct)
....to finding a means to consume all resources and pay off all debts. Much related work exists, so we only briefly touch upon it here. We view the judgmental reconstruction of modal logic and lax logic [23] as motivating our approach. We also owe much to Polakow s development of ordered logic [24], which employs linear and ordered hypothetical judgments, but does not introduce possibility and related connectives. JILL contains, as fragments, both dual intuitionistic linear logic (DILL) 4] and hereditary Harrop logic underlying linear logic programming [14] The contribution of JILL with ....
Jeff Polakow. Ordered Linear Logic and Applications. PhD thesis, Department of Computer Science, Carnegie Mellon University, August 2001.
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