1997 | OriginalPaper | Buchkapitel
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives
verfasst von : Peter Aczel
Erschienen in: Logic of Computation
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
These lectures give a non-standard introduction, for computer science students, to the mathematical semantics of formal languages. We do not attempt to give a balanced treatment, but instead focus on some key general ideas, illustrated with simple examples. The ideas are formulated using some elementary category theoretic notions. All the required category theory is introduced in the lectures. In addition to the familiar initial algebra approach to syntax and semantics we examine the less familiar final coalgebra approach to operational semantics. Our treatment of formal semantics is intended to complement a more standard introduction.