Exploring the regular tree types (2004)

by Peter Morris , Thorsten Altenkirch , Conor Mcbride
Venue:In Types for Proofs and Programs
Citations:16 - 3 self