What people are saying - Write a review
We haven't found any reviews in the usual places.
TOPOLOGICAL PROPERTIES OF x
MORE ON ALGEBRAIC DLANGUAGES AND FIXED POINT THEOREMS
2 other sections not shown
Other editions - View all
2-charts Adh(L adjoint functor algebraic grammar algebraic semantics algorithmic logic assignment axiomatization axioms called carriers complete lattice composition Computer Science congruence relation constraints construction converges d-Cauchy data type define Definition denoted derivation directed graph distinguished morphism dom(a domain dynamic logic element Elgot equations equivalence example exists a unique expressions F-magma family of sets FG(L FG(u filter base finite fixed point flowcharts free monoid functor given grammar G graph morphism indexed infinite trees infinite words initial algebra interpretation isomorphic iteration Kripke language least upper bound LEMMA many-sorted algebras Mathematical modal logic monoid n-tuple NIVAT non-terminal notation objects ordered 2-algebra pairs partial functions poset proof Proposition ranked alphabet result S-indexed family S-sorted algebraic theory S-sorted signature satisfies Section sequence strings subcategory subset system terminal Theorem tupling union-complete unique homomorphism universal algebra variables write Z-complete Z-continuous Z-set