P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Proc. of LICS'93, pages 222--232. IEEE, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Coverage Checking Algorithm for LF - Schürmann, Pfenning (2003) (5 citations) (Correct)
....McBride s work is that we allow matching against the structure of higher order terms which poses significant additional challenges. Another related development is the theory of partial inductive definitions [7] especially in its finitary form [6] and the related notion of definitional reflection [20]. This calculus contains a rule schema that, re interpreted in our context, would allow any (finite) complete set of unifiers between a coverage goal A : type and the heads of the clauses defining A. Because of the additional condition of so called a su#ciency for the substitutions, this was ....
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pages 222--232, Montreal, Canada, June 1993.
A Coverage Checking Algorithm for LF - Schürmann, Pfenning (2003) (5 citations) (Correct)
....McBride s work is that we allow matching against the structure of higher order terms which poses significant additional challenges. Another related development is the theory of partial inductive definitions [8] especially in its finitary form [7] and the related notion of definitional reflection [23]. This calculus contains a rule schema that, re interpreted in our context, would allow any (finite) complete set of unifiers between a coverage goal A : type and the heads of the clauses defining A. Because of the additional condition of so called a su#ciency for the substitutions this was ....
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pages 222--232, Montreal, Canada, June 1993. 17
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Proc. of LICS'93, pages 222--232. IEEE, 1993.
Induction and Co-induction in Sequent Calculus - Momigliano, Tiu (2003) (1 citation) (Correct)
No context found.
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Eighth Annual Symposium on Logic in Computer Science, pp 222--232. IEEE Press, June 1993.
A Proof Search Specification of the π-Calculus - Tiu, Miller (Correct)
No context found.
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Eighth Annual Symposium on Logic in Computer Science, pages 222--232. IEEE Computer Society Press, IEEE, June 1993.
A Proof Search Specification of the π-Calculus - Tiu, Miller (2004) (Correct)
No context found.
P. Schroeder-Heister. Rules of definitional reflection. In M. Vardi, editor, Eighth Annual Symposium on Logic in Computer Science, pages 222--232. IEEE Computer Society Press, IEEE, June 1993.
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