Skip to main navigation Skip to search Skip to main content

Language Embeddings for Proof Engineering

Project Details

StatusFinished
Effective start/end date1/12/23 → 30/11/25

Research Groups and Themes

  • Programming Languages

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference Contribution (Conference Proceeding)
  • 1 Article (Academic Journal)

  • Domain-Theoretic Semantics for Functional Logic Programming

    Jones, E., Main, S. S., Li, C., Marriott, J. & Kavvos, G. A., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 1641-1672 32 p., 57.

    Research output: Contribution to journal › Article (Academic Journal) › peer-review

    Open Access
    File
    88 Downloads (Pure)

  • Two-dimensional Kripke Semantics I: Presheaves

    Kavvos, G. A., 5 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 299. 23 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).

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

    Open Access
    File
    5 Citations (Scopus)
    409 Downloads (Pure)

  • Two-dimensional Kripke Semantics II: Stability and Completeness

    Kavvos, G. A., 15 Dec 2024, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Vol. 4. 20 p. (Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)).

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

    Open Access
    File
    190 Downloads (Pure)