Calculi of meta-variables

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2803, Issue , 2003, Pages 484-497

  Sato, Masahiko ^a   Sakurai, Takafumi ^b   Kameyama, Yukiyoshi ^c   Igarashi, Atsushi ^a  

^a KYOTO UNIVERSITY   (Japan)

^b CHIBA UNIVERSITY   (Japan)

^c UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

Context; Logical framework; Meta variable; calculus

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); PATHOLOGY; RECONFIGURABLE HARDWARE; TEXTBOOKS;

COMPUTATIONAL CALCULUS; CONTEXT; FORMAL SYSTEMS; LOGICAL FRAMEWORKS; META-LEVEL FUNCTIONS; META-VARIABLE; NONNEGATIVE INTEGERS; STRONG NORMALIZATION;

COMPUTER CIRCUITS;

EID: 35248885234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45220-1_39     Document Type: Article

References (14)

1. L. Dami. A Lambda-Calculus for Dynamic Binding. Theoretical Computer Science, 192:201-231, 1998.
2. R. Davies. A Temporal-Logic Approach to Binding-Time Analysis. In 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), pages 184-195, 1996.
3. H. Geuvers and G. Jojgov. Open Proofs and Open Terms: A Basis for Interactive Logic. In CSL 2002, LNCS 2471, pages 537-552, 2002.
4. R. Glück and J. Jørgensen. Efficient multi-level generating extensions for program specialization. In Programming Languages, Implementations, Logics and Programs (PLILP'95), LNCS 982, pages 259-278, 1995.
5. R. Harper, F. Honsell, and G. Plotkin. A Framework for Defining Logics. Journal of the Association for Computing Machinery, 40(1):143-194, 1993.
6. M. Hashimoto and A. Ohori. A Typed Context Calculus. Theoretical Computer Science, 266(1-2):249-272, 2001.
7. S. C. Kleene. Introduction to Metamathematics. North-Holland, 1952.
8. I. Mason. Computing with Contexts. Higher-Order and Symbolic Computation, 12:171-201, 1999.
9. D. Sands. Computing with Contexts - a Simple Approach. Electronic Notes in Theoretical Computer Science, 10, 1998.
10. M. Sato. Theory of Judgments and Derivations. In Discovery Science, LNAI 2281, pages 78-122, 2001.
11. M. Sato, T. Sakurai, and Y. Kameyama. A Simply Typed Context Calculus with First-Class Environments. Journal of Functional and Logic Programming, 2002(4):1-41, 2002.
12. J. R. Shoenfield. Mathematical Logic. Addison-Wesley, 1967.
13. C. Talcott. A Theory of Binding Structures and Applications to Rewriting. Theoretical Computer Science, 112(1):99-143, 1993.
14. K. Yamamoto, A. Okamoto, M. Sato, and A. Igarashi. A Typed Lambda Calculus with Quasi-quotation (in Japanese). In Informal Proceedings of the 4th JSSST Workshop on Programming and Programming Languages, pages 87-102, 2003.