Algebra and Coalgebra meets Proof Theory (conference)

User Publication Person Organisation Collection