Filter your results
- 3
- 3
- 3
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.193-208, ⟨10.1007/978-3-642-33475-7_14⟩
Conference papers
hal-01556226v1
|
||
|
|
On the Logic of Generalised Metric Spaces13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers
hal-01446037v1
|
||
|
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers
hal-01539877v1
|