Bootstrapping Types and Cotypes in HasCASL
From MaRDI portal
Publication:3612506
DOI10.1007/978-3-540-73859-6_30zbMath1214.68233OpenAlexW1518524165MaRDI QIDQ3612506
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_30
Related Items
Uses Software