Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Image document

Relating Structure and Power: Comonadic Semantics for Computational Resources

Samson Abramsky , Nihil Shah
14th 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
Image document

From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

Samson Abramsky , Jonathan Zvesper
11th 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