Exploring the regular tree types (2004)

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

Document Versions

Exploring the regular tree types –Peter Morris, Thorsten Altenkirch, Conor Mcbride — 2004 — In Types for Proofs and Programs
Exploring the regular tree types –Peter Morris, Thorsten Altenkirch, Conor Mcbride — 2004 — In Types for Proofs and Programs
Exploring the regular tree types –Peter Morris, Thorsten Altenkirch, Conor Mcbride — 2006 — In Types for Proofs and Programs, International Workshop, TYPES 2004, volume 3839 of LNCS