No Cover Image

Conference Paper/Proceeding/Abstract 1281 views 404 downloads

Unnesting of Copatterns

Anton Setzer Orcid Logo, Andreas Abel, Brigitte Pientka, David Thibodeau

Rewriting and Typed Lambda Calculi, Volume: 8560, Pages: 31 - 45

Swansea University Author: Anton Setzer Orcid Logo

DOI (Published version): 10.1007/978-3-319-08918-8_3

Published in: Rewriting and Typed Lambda Calculi
Published: Springer 2014
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 31
End Page: 45