A unifying model of variables and names

Lecture Notes in Computer Science

Volumn 3441, Issue , 2005, Pages 170-176

  Miculan, Marino ^a   Yemane, Kidane ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC; FUNCTION EVALUATION; SEMANTICS; SOFTWARE ENGINEERING;

COALGEBRA; FUNCTORS; SEMANTIC INTERPRETATION;

MATHEMATICAL MODELS;

EID: 24644455628     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31982-5_11     Document Type: Conference Paper

References (19)

1. J. Adamek, editor. Coalgebraic Methods in Computer Science, ENTCS. 2004.
2. M. Boreale, M. G. Buscemi, and U. Montanari. D-fusion: A distinctive fusion calculus. In Proc. APLAS'04, LNCS 3302, pages 296-310. Springer, 2004.
3. B. J. Day. On closed categories of functors. In Reports of the Midwest Category Seminar, volume 137 of Lecture Notes in Mathematics, pages 1-38. Springer, 1970.
4. M. Fiore and S. Staton. Comparing operational models of name-passing process calculi. In Adamek [1].
5. M. Fiore and D. Turi. Semantics of name and value passing. In H. Mairson, editor, Proc. 16th LICS, pages 93-104, 2001.IEEE.
6. M. Fiore, G. Plotkin, and D. Turi. Abstract syntax and variable binding. In [11].
7. M. Gabbay and J. Cheney. A sequent calculus for nominal logic. In Proc. LICS'04, pages 139-148. IEEE Computer Society, 2004.
8. M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341-363, 2002.
9. N. Ghani, K. Yemane, and B. Victor. Relationally staged computation in calculi of mobile processes. In Adamek [1].
10. M. Hofmann. Semantical analysis of higher-order abstract syntax. In Longo [11].
11. G. Longo, editor. Proc. 14th Symp. of Logic in Computer Science, 1999. IEEE.
12. S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Springer, 1994.
13. M. Miculan and I. Scagnetto. A framework for typed HOAS and semantics. In Proc. PPDP'03, pages 184-194. ACM Press, 2003.
14. M. Miculan and K. Yemane. A unifying model of variables and names. TR UDMI/15/2004/RR, Dept. of Mathematics and Computing Science, Univ. of Udine, 2004. http://www.dimi.uniud.it/miculan/Papers/UDMI152004.pdf.
15. D. Miller and A. F. Tiu. A proof theory for generic judgments: An extended abstract. In LICS 2003, pages 118-127, 2003. IEEE.
16. A. M. Pitts. Categorical logic. In Handbook of LICS, vol. 5. OUP, 2000.
17. A. M. Pitts. Nominal logic, a first order theory of names and binding. Information and Computation, 186:165-193, 2003.
18. J. Power and M. Tanaka. Binding signatures for generic contexts. In Proc. TLCA '05, LNCS?. Springer, 2005.
19. I. Stark. A fully abstract domain model for the π-calculus. In Proc. LICS'96.