Kleisli kategorier över monader har använts i dennotational semantics för att beskriva funktionella språk med hjälp av olika begrepp av beräkningar som värden. Kleisli kategorier över comonader har också använts för att beskriva intensiv semantik snarare än extensiv. Detta papper utforskar möjligheterna att kombinera monader och comonader för att få en intensiv semantik med hjälp av beräkningar som värden. Vi ger tre alternativa sätt att kombinera de två och utforska som gäller för kända monader och comonader av intresse. Vi kommer också att titta på olika extensiva semantik för ett exempel programmeringsspråk som använder monader för beräkningar och jämföra dem med den ursprungliga extensiva semantiken.
Brookes och Stone REF använde monad och comonader för att beskriva respektive förlängnings- respektive intensifieringssemantik för ett språk med beräkningseffekter.
Monads and Comonads in Intensional Semantics
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics']}