Gordon Plotkin. An illative theory of relations. In Situation Theory and its Applications, number 22 in CSLI Lecture Notes, pages 133--146. Stanford University, 1990. 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)
....binders, not all of them meet the requirements mentioned in the previous paragraph. Use of the simply typed # calculus for this purpose is common; but as discussed in the Introduction, it leads to a problematic unification theory. Among first order frameworks, Plotkin s notion of binding signature [26, 7], being unsorted, equates names used in binding with names of variables standing for unknown terms; so it is not sufficiently general for us. A first order framework that does meet our requirements is the notion of nominal algebras in [15] The nominal signatures that we use in this paper are a ....
G. D. Plotkin. An illative theory of relations. In R. Cooper, Mukai, and J. Perry, editors, Situation Theory and its Applications, Volume 1, volume 22 of CSLI Lecure Notes, pages 133--146. Stanford University, 1990.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
Gordon Plotkin. An illative theory of relations. In Situation Theory and its Applications, number 22 in CSLI Lecture Notes, pages 133--146. Stanford University, 1990.
A Formal Calculus for Categories - Caccamo (2003) (Correct)
No context found.
Gordon Plotkin. An illative theory of relations. In Situation Theory and its Applications, number 22 in CSLI Lecture Notes, pages 133--146. Stanford University, 1990.
Nominal Unification - Urban, Pitts, Gabbay (2004) (5 citations) (Correct)
No context found.
G. D. Plotkin, An illative theory of relations, in: R. Cooper, Mukai, J. Perry (Eds.), Situation Theory and its Applications, Vol. 22 of CSLI Lecture Notes, Stanford University, 1990, pp. 133--146.
Nominal Unification - Christian Urban Andrew (2003) (5 citations) (Correct)
No context found.
G. D. Plotkin, An illative theory of relations, in: R. Cooper, Mukai, J. Perry (Eds.), Situation Theory and its Applications, Vol. 22 of CSLI Lecture Notes, Stanford University, 1990, pp. 133--146.
Bibliography - Turi (Correct)
No context found.
Gordon Plotkin. An illative theory of relations. In R Cooper et al., editors, Situation Theory and its Applications, number 22 in CSLI Lecture Notes, pages 133--146. Stanford University, 1990.
Simple Situation Theory and its Graphical Representation - Barwise (1991) (6 citations) (Correct)
No context found.
Plotkin, Gordon (1990) An illative theory of relations, in [CMP], pp 133--146
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