Exploring the regular tree types (2004)

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