Sato, M., Sakurai, T., and Kameyama, Y. 2002. A simply typed context calculus with first-class environments. Journal of Functional and Logic Programming 2002, 4 (March). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Nominal Unification - Urban, Pitts, Gabbay (2003) (5 citations) (Correct)
....application, capture avoiding substitution and ## equivalence. Does it have to be so No For one thing, several authors have already noted that one can make sense of possibly capturing substitution modulo # equivalence by using explicit substitutions in the term representation language: see [6, 12, 14, 27]. Compared with those works, we make a number of simplifications. First, we find that we do not need to use function variables, application or ## equivalence in our representation language leaving just binders and # equivalence. Secondly, instead of using explicit substitutions of names for ....
....why there is a need for computing with freshness, given that we take a nominal approach to binders. In other words we stick with concrete versions of binding and # equivalence in which the bound entity is named explicitly, rather than using de Bruijn style representations, for example as in [6, 27]. A basic instance of our generalised form of # equivalence identifies, for example, fn a.X with fn b. a b)X provided b is fresh for X , where the subterm (a b)X indicates an explicit permutation namely the swapping of a and b waiting to be applied to X . We write b is fresh for X ....
M. Sato, T. Sakurai, and Y. Kameyama. A simply typed context calculus with first-class environments. Journal of Functional and Logic Programming, 2002(4), 2002. 10
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) (Correct)
No context found.
Sato, M., Sakurai, T., and Kameyama, Y. 2002. A simply typed context calculus with first-class environments. Journal of Functional and Logic Programming 2002, 4 (March).
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) (Correct)
No context found.
M. Sato, T. Sakurai, Y. Kameyama, A simply typed context calculus with first-class environments, Journal of Functional and Logic Programming 2002 (4).
Nominal Unification - Christian Urban Andrew (2003) (5 citations) (Correct)
No context found.
M. Sato, T. Sakurai, Y. Kameyama, A simply typed context calculus with first-class environments, Journal of Functional and Logic Programming 2002 (4).
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