P. Aczel, Algebras and coalgebras, in Revised Lectures from Int. Summer School and Wksh. on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, ACMMPC 2000. Home/Search Document Not in Database 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)
....fundamental operation of 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 ....
....initial (A H ) algebras resp. inverses of the nal (A H ) coalgebras for di erent objects A for an endofunctor H on a category C (where, in universal algebra, C = Set and H is polynomial) For the purposes of modular presentation, however, we rst introduce the concept of substitution system, cf. [4]. This concept is usable as a basis for a uniform treatment of not only wellfounded and non wellfounded terms, but also term equivalence classes (wrt. a system of equations) term graphs, rational terms etc. De nition 3.1 Given an endofunctor H on a category C with nite coproducts. For any ....
Aczel, P., Algebras and coalgebras, in: R. Backhouse, R. Crole and J. Gibbons, eds., Revised Lectures from Int. Summer School and Wksh. on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (Oxford, April
Generalizing Substitution - Uustalu (2003) (Correct)
No context found.
P. Aczel, Algebras and coalgebras, in Revised Lectures from Int. Summer School and Wksh. on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, ACMMPC 2000.
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