No Cover Image

Conference Paper/Proceeding/Abstract 874 views 329 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: http://www.cs.swan.ac.uk/~csetzer/articles/setzerEtAlRTATLCA2014.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa19413
Tags: Add Tag
No Tags, Be the first to tag this record!
Start Page: 31
End Page: 45