Unnesting of Copatterns
Date first appeared online 14/07/2014
DOI 10.1007/978-3-319-08918-8_3
Authors Setzer A.
Journal Name Rewriting and Typed Lambda Calculi
Volume 8560

Documents