![](/img/cover-not-exists.png)
Lambda calculus with patterns
Jan Willem Klop, Vincent van Oostrom, Roel de VrijerVolume:
398
Year:
2008
Language:
english
Pages:
16
DOI:
10.1016/j.tcs.2008.01.019
File:
PDF, 479 KB
english, 2008