Bases as Coalgebras
From MaRDI portal
Publication:5894257
DOI10.1007/978-3-642-22944-2_17zbMath1343.18008arXiv1309.0844OpenAlexW1597880310MaRDI QIDQ5894257
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1309.0844
Related Items (2)
A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction ⋮ Initial Algebras of Terms with Binding and Algebraic Structure
This page was built for publication: Bases as Coalgebras
