Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩
Conference papers
hal-01539890v1
|
||
|
Relating Structure and Power: Comonadic Semantics for Computational Resources14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.1-5, ⟨10.1007/978-3-030-00389-0_1⟩
Conference papers
hal-02044639v1
|