×

Symmetry and interactivity in programming. (English) Zbl 1058.03027

Summary: We recall some of the early occurrences of the notions of interactivity and symmetry in the operational and denotational semantics of programming languages. We suggest some connections with ludics.

MSC:

03B70 Logic in computer science
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI arXiv Euclid

References:

[1] General recursion theory II (1978)
[2] Domains and lambda-calculi (1998)
[3] DOI: 10.2307/2275524 · Zbl 0829.03037 · doi:10.2307/2275524
[4] DOI: 10.1006/inco.1994.1047 · Zbl 0806.68072 · doi:10.1006/inco.1994.1047
[5] Algebraic methods in semantics pp 35– (1985)
[6] DOI: 10.1016/S0304-3975(82)80002-9 · Zbl 0497.68012 · doi:10.1016/S0304-3975(82)80002-9
[7] DOI: 10.1007/BF03037173 · doi:10.1007/BF03037173
[8] DOI: 10.1007/978-3-642-58622-4_1 · doi:10.1007/978-3-642-58622-4_1
[9] DOI: 10.1006/inco.2000.2930 · Zbl 1006.68028 · doi:10.1006/inco.2000.2930
[10] DOI: 10.1006/inco.1994.1041 · Zbl 0803.03014 · doi:10.1006/inco.1994.1041
[11] DOI: 10.1006/inco.2000.2917 · Zbl 1006.68027 · doi:10.1006/inco.2000.2917
[12] Curry Festschrift pp 479– (1980)
[13] Thèse de doctorat pp 7– (1995)
[14] Principles of programming languages 1990 (1990)
[15] Mathematical Structures in Computer Science (2001)
[16] Logic colloquium ’88 pp 221– (1989)
[17] DOI: 10.1016/0304-3975(87)90045-4 · Zbl 0625.03037 · doi:10.1016/0304-3975(87)90045-4
[18] Handbook of philosophical logic 3 pp 341– (1986)
[19] International conference on functional programming 2000 (2000)
[20] Mathematical foundations of programming semantics 1993 802 pp 122– (1993)
[21] Communicating and mobile systems: the {\(\pi\)}calculus (1999) · Zbl 0942.68002
[22] DOI: 10.1016/0304-3975(77)90053-6 · Zbl 0386.03006 · doi:10.1016/0304-3975(77)90053-6
[23] Finitary PCF is undecidable (1996)
[24] Sequentiality, games and linear logic (1992)
[25] Information processing 77 pp 993– (1977)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.