Observational Equality, Now! (2007)

by Thorsten Altenkirch , Conor McBride , Wouter Swierstra
Venue:A SUBMISSION TO PLPV 2007
Citations:43 - 14 self