Dale Miller. Encoding generic judgments: Preliminary results. In S.J. Ambler, R.L. Crole, and A. Momigliano, editors, MERLIN 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Encoding Generic Judgments - Miller, Tiu (2002) (3 citations) Self-citation (Miller) (Correct)
....language: true M false N These two inference figures can also be seen as two first order Horn clauses: Here, the down arrow is a non logical, predicate symbol and an expression such as N is an atomic formula. An earlier draft of this paper appeared in MERLIN 2001 [Mil01]. Of course, once a specification is made, one might want to reason about it. For example, if these two rules are the only rules describing the evaluation of the conditional, then it should follow that if (if B M M)#V is provable then so is M . In what logic can this be formalized and proved ....
Dale Miller. Encoding generic judgments: Preliminary results. In R.L. Crole S.J. Ambler and A. Momigliano, editors, ENTCS, volume 58. Elsevier, 2001. Proceedings of the MERLIN 2001 Workshop, Siena.
Toward a General Theory of Names, Binding and Scope - James Cheney University (Correct)
No context found.
Dale Miller. Encoding generic judgments: Preliminary results. In S.J. Ambler, R.L. Crole, and A. Momigliano, editors, MERLIN 2001.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Dale Miller. Encoding generic judgments: Preliminary results. In S.J. Ambler, R.L. Crole, and A. Momigliano, editors, MERLIN 2001.
A Definitional Approach to Primitive Recursion over.. - Ambler, Crole.. (2003) (3 citations) (Correct)
No context found.
Dale Miller. Encoding generic judgments: Preliminary results. In R.L. Crole S.J. Ambler and A. Momigliano, editors, Electronic Notes in Theoretical Computer Science, volume 58. Elsevier Science Publishers, 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