On the relations between monadic semantics
type: Item
instance of: scholarly article
title: On the relations between monadic semantics
zbMATH Open document ID: 1111.68066
author: Andrzej Filinski
published in: Theoretical Computer Science
publication date: 2007-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5151773
zbMATH Keywords: monads
zbMATH Keywords: computational metalanguage
zbMATH Keywords: logical relations
zbMATH Keywords: recursive types
zbMATH Keywords: continuations
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.12.027
OpenAlex ID: W1994376732
cites work: Relational interpretations of recursive types in an operational setting.
cites work: Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
cites work: Representing Control: a Study of the CPS Transformation
cites work: Q4288818
cites work: Retraction approach to CPS transform
cites work: Call-by-push-value: Decomposing call-by-value and call-by-name
cites work: Q3023557
cites work: Q3680263
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Modular structural operational semantics
cites work: Q3719794
cites work: A judgmental reconstruction of modal logic
cites work: Computational adequacy via ‘mixed’ inductive definitions
cites work: Relational properties of domains
cites work: Q2771052
cites work: LCF considered as a programming language
cites work: Definitional interpreters for higher-order programming languages
cites work: Q4072829
cites work: Q3959414
cites work: Translating dependency into parametricity
cites work: Q3141916
DOI: 10.1016/J.TCS.2006.12.027
description: scientific article; zbMATH DE number 5151773