Programming Logic and Semantics

Websitehttps://pls.itu.dk/

Postal addressShow on map
Rued Langgaards Vej 7, 4C corridor, RLV
2300 Copenhagen
Denmark

77 Article in proceedings
40 Journal article
26 Conference article
12 PhD thesis
More

4 results

Filter

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 journal › Paper › Research

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 journal › Paper › Research › peer-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 journal › Paper › Research › peer-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 journal › Paper › Research › peer-review

Open Access
File