If you made any changes in Pure these will be visible here soon.
Filter
Conference Contribution (Conference Proceeding)

Search results

  • 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
    95 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), Vol. August 2017. p. 1-12 12 p.

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

    Open Access
    File
    58 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
    25 Downloads (Pure)