R. Matthes and T. Uustalu, Substitution in non-wellfounded syntax with variable binding, in Proc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Generalizing Substitution - Uustalu (2003) Self-citation (Uustalu) (Correct)
No context found.
R. Matthes and T. Uustalu, Substitution in non-wellfounded syntax with variable binding, in Proc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003.
Coproducts Of Ideal Monads - Ghani, Uustalu Self-citation (Uustalu) (Correct)
No context found.
R. Matthes and T. Uustalu, Substitution in non-wellfounded syntax with variable binding, in Proc. of 6th Wksh. on Coalgebraic Methods in Computer Science, CMCS'03 (Warsaw, Apr. 2003.
Explicit Substitutions and Higher-Order Syntax (Extended Abstract) - Ghani (2003) (Correct)
No context found.
R. Matthes and T. Uustalu. Substitution in non-wellfounded syntax with variable binding. In H. P. Gumm, ed., Proc. of 6th Int. Wksh. on Coalg. Methods in Comp. Sci., CMCS'03, v. 82(4) of Electr. Notes in Theor. Comp. Sci. Elsevier, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC