Categorical models of polymorphism

From MaRDI portal
Publication:1193592

DOI10.1016/0890-5401(92)90024-AzbMath0772.18007MaRDI QIDQ1193592

Simone Martini, Andrea Asperti

Publication date: 27 September 1992

Published in: Information and Computation (Search for Journal in Brave)




Related Items (1)



Cites Work


This page was built for publication: Categorical models of polymorphism