M. Fiore and D. Turi. Semantics of name and value passing. In Proceedings of LICS01, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for Typed HOAS and Semantics - Miculan, Scagnetto (2003) (2 citations) (Correct)
....the semantic aspects on a par. The metamodel should enlighten the interactions and dependencies between these two abstraction levels. The aim of this paper is indeed to define and investigate such a framework. Our setting is inspired by previous work by Fiore, Hofmann, Plotkin, Turi, among others [2 4, 7, 8]. Like in these works, we advocate the use of presheaf categories for a satisfactory representation of the abstract syntax of (typed) languages with variables and binding operators. But moreover, it turns out that the same presheaf categories can be used to address the semantic aspects as well. ....
....a semantics, i.e. a meaning in any suitable category depending on the particular computational notion we are focus on. Therefore, another category ModT (C) of semantic models arises. Under a mild condition, this turns out to be connected to the presentation category via an adjunction, as in [2, 3]. Along this adjunction, semantic aspects of terms and variables can be reflected at the syntactic level, and syntactic (i.e. structural) aspects can be recovered at the semantic level. Therefore any framework for abstract syntax, complete with semantics for the syntax in it, can be reflected in ....
[Article contains additional citation context not shown here]
M. Fiore and D. Turi. Semantics of name and value passing. In H. Mairson, editor, Proc. 16th LICS, pages 93--104, Boston, USA, 2001. IEEE Computer Society Press.
A Dependent Type Theory with Names and Binding - Schöpp, Stark (2004) (4 citations) (Correct)
No context found.
M. Fiore and D. Turi. Semantics of name and value passing. In Proceedings of LICS01, 2001.
Some Characterization Results for Permutation Algebras - Gadducci, Miculan, Montanari (Correct)
No context found.
Fiore, M. and D. Turi, Semantics of name and value passing, in: H. Mairson, editor, Logic in Computer Science (2001), pp. 93--104.
About Permutation Algebras and Sheaves (and Named Sets.. - Gadducci, Miculan.. (2003) (Correct)
No context found.
M. Fiore and D. Turi, Semantics of name and value passing, in: H. Mairson, editor, Logic in Computer Science (2001), pp. 93--104.
Explicit Substitutions and Higher-Order Syntax (Extended Abstract) - Ghani (2003) (Correct)
No context found.
M. Fiore and D. Turi. Semantics of name and value passing. In Proc. of 16th Ann. IEEE Symp. on Logic in Comp. Sci., LICS'01, pp. 93--104. IEEE CS Press, 2001.
On Generalised Coinduction and Probabilistic Specification.. - Bartels (2004) (3 citations) (Correct)
No context found.
Marcelo Fiore and Daniele Turi. Semantics of name and value passing. In Proc. 16 LICS Conf., pages 93--104. IEEE, Computer Society Press, 2001.
π-Calculus Early Observational Equivalence: A First Order.. - Montanari (2002) (Correct)
No context found.
M. Fiore and D. Turi. Semantics of name and value passing. In Proc. of LICS'01, IEEE. Computer Society Press, 2001. 18
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