Damien Pous
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)Computer Science Logic (CSL), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.19⟩
Communication dans un congrès
hal-01703942v3
|