Bialgebraic Semantics and Recursion
From MaRDI portal
Publication:4917044
DOI10.1016/S1571-0661(04)80914-9zbMath1260.68219MaRDI QIDQ4917044
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
Cites Work