Exploring the regular tree types (2004)

by Peter Morris, Thorsten Altenkirch, Conor Mcbride
Venue:In Types for Proofs and Programs