On the Semantics of Intensionality and Intensional Recursion

Georgios Alexandros Kavvos*

*Corresponding author for this work

Research output: Other contributionPhD thesis (not Bristol)

Conference Contribution (Conference Proceeding)

Search results

  • 2017

    On the Semantics of Intensionality

    Kavvos, G. A., 16 Mar 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer Berlin Heidelberg, p. 550-566 17 p. (Lecture Notes in Computer Science; vol. 10203).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    26 Downloads (Pure)