A category-theoretic characterization of functional completeness

From MaRDI portal
Publication:912587

DOI10.1016/0304-3975(90)90122-XzbMath0698.68008MaRDI QIDQ912587

Eugenio Moggi

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items (9)




Cites Work




This page was built for publication: A category-theoretic characterization of functional completeness