20172020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 3 Conference Contribution (Conference Proceeding)
  • 2 Article (Academic Journal)
  • 1 PhD thesis (not Bristol)
Article (Academic Journal)

Modalities, cohesion, and information flow

Kavvos, G. A., 2 Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, 29 p., 20.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
11 Downloads (Pure)

Recurrence extraction for functional programs through call-by-push-value

Kavvos, G. A., Morehouse, E., Licata, D. & Danner, N., 20 Dec 2019, In : Proceedings of the ACM on Programming Languages. 4, POPL, 31 p., 15.

Research output: Contribution to journalArticle (Academic Journal)

Open Access
File
10 Downloads (Pure)
Conference Contribution (Conference Proceeding)

Dual-Context Calculi for Modal Logic

Kavvos, G. A., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 12 p.

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

Open Access
File
28 Downloads (Pure)

Multimodal Dependent Type Theory

Gratzer, D., Kavvos, G. A., Nuyts, A. & Birkedal, L., 8 Jul 2020, LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: Association for Computing Machinery (ACM), p. 492-506 15 p.

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

Open Access
File
19 Downloads (Pure)

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
File
9 Downloads (Pure)
PhD thesis (not Bristol)

On the Semantics of Intensionality and Intensional Recursion

Kavvos, G. A., 28 Nov 2017, (Unpublished)

Research output: Other contributionPhD thesis (not Bristol)