Programming Logic and Semantics

Filter
Paper

Search results

  • 2024

    Taming Differentiable Logics with Coq Formalisation

    Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 Mar 2024.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearch

    Open Access
  • 2018

    Multparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 Sept 2018. 20 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
  • What makes guarded types tick?

    Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
    File
  • 2014

    Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings

    Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 Sept 2014. 2 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
    File