Semantic Structures for Higher-Order Information Flow

Laird, James (PI)

Project: Research council

10 Chapter in a published conference proceeding
10 Article
4 Chapter or section
1 Paper
More
- 1 Conference article

1 results

Filter

2019
From Global to Local State, Coalgebraically and Compositionally
Laird, J., 30 Nov 2019, In: Electronic Notes in Theoretical Computer Science. 347, p. 203-222 20 p.
Research output: Contribution to journal › Conference article › peer-review

Open Access
1 Citation (SciVal)