N. Ghani, C. Luth and F. de Marchi, Coalgebraic monads, in Proc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02 (Grenoble, Apr. 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Substitution in Non-wellfounded Syntax with Variable Binding - Matthes, Uustalu (2003) (1 citation) (Correct)
....substitution is more bene cially de ned in terms of primitive corecursion than coiteration. Keywords: substitution, non wellfounded syntax, variable binding, monad, functor category, nal coalgebra, primitive corecursion 1 Introduction Moss [26] Aczel, Ad amek et al. 5,4] and Ghani et al. [17,16] have recently given a rather complete categorical analysis of non wellfounded syntax, i.e. matthes informatik.uni muenchen.de Supported by the Portuguese Foundation for Science and Technology under grant No. PRAXIS C EEI 14172 98 and by the Estonian Science Foundation under grant No. 4155. ....
Ghani, N., C. Luth and F. de Marchi, Coalgebraic monads, in: L. S. Moss, ed., Proc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02 (Grenoble, Apr.
Coproducts Of Ideal Monads - Ghani, Uustalu Self-citation (Ghani) (Correct)
No context found.
N. Ghani, C. Luth, and F. De Marchi, Coalgebraic monads, in Proc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02 (Grenoble, Apr. 2002.
Generalizing Substitution - Uustalu (2003) (Correct)
No context found.
N. Ghani, C. Luth and F. de Marchi, Coalgebraic monads, in Proc. of 5th Wksh. on Coalgebraic Methods in Computer Science, CMCS'02 (Grenoble, Apr. 2001.
Explicit Substitutions and Higher-Order Syntax (Extended Abstract) - Ghani (2003) (Correct)
No context found.
N. Ghani, C. Luth, and F. de Marchi. Coalgebraic monads. In L. S. Moss, ed., Proc. of 5th Wksh. on Coalgebraic Methods in Comp. Sci., CMCS'02, v. 65(1) of Electr. Notes in Theor. Comp. Sci. Elsevier, 2002.
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