![](/img/cover-not-exists.png)
Substitution in non-wellfounded syntax with variable binding
Ralph Matthes, Tarmo UustaluVolume:
327
Year:
2004
Language:
english
Pages:
20
DOI:
10.1016/j.tcs.2004.07.025
File:
PDF, 291 KB
english, 2004