Categories for Imperative Semantics PLDG Seminar
by
Riccardo Pucella
BibTeX
@MISC{Pucella_categoriesfor,
author = {Riccardo Pucella},
title = {Categories for Imperative Semantics PLDG Seminar},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The aim of these notes is to provide an introduction to category theory, and a motivation for its use in denotational semantics. I will do this by showing how to apply it to give an abstract semantics to a simple imperative language. These notes are loosely based
Citations
| 2262 | Convergence of Probability Measures - Billingsley - 1968 |
| 815 | Categories for the Working Mathematician - Lane - 1971 |
| 401 | Computational lambda-calculus and monads - Moggi - 1989 |
| 369 | Category Theory for Computing Science - Barr, Wells - 1990 |
| 258 | Semantics of programming languages: structures and techniques - Gunter - 1992 |
| 150 | Traced monoidal categories - Joyal, Street, et al. - 1996 |
| 117 | Semantics of probabilistic programs - Kozen - 1981 |
| 81 | A probabilistic PDL - Kozen - 1985 |
| 79 | Algebraic Approaches to Program Semantics - Manes, Arbib - 1986 |
| 55 | Iteration theories - Bloom, Esik - 1993 |
| 45 | Monadic computation and iterative algebraic theories - Elgot - 1975 |
| 35 | A categorical approach to probability theory - Giry - 1981 |
| 15 | A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness - Haghverdi - 2000 |
| 3 | The category of markov kernels - Panangaden - 2000 |
| 1 | Control Flow Semantics - Bakker - 1996 |
| 1 | The essence of functional programming - unknown authors - 1992 |
