Relating computational effects by \(\top \top \)-lifting
type: Item
instance of: scholarly article
title: Relating computational effects by \(\top \top \)-lifting
zbMATH Open document ID: 1267.68087
author: Shin-ya Katsumata
published in: Information and Computation
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6171330
zbMATH Keywords: logical relation
zbMATH Keywords: monad
zbMATH Keywords: fibration
zbMATH Keywords: computational effects
zbMATH Keywords: \(\top \top \)-lifting
zbMATH Keywords: algebraic operation
zbMATH Keywords: generic effect
zbMATH Keywords: fresh name creation
MaRDI profile type: Publication
full work available at URL: j.ic.2012.10.014
OpenAlex ID: W2119440710
DOI: 10.1016/J.IC.2012.10.014
description: scientific article; zbMATH DE number 6171330