Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
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
|