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)
Filter
Conference Contribution (Conference Proceeding)
2020

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
11 Downloads (Pure)
2017

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
10 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)