A category theoretic view of nondeterministic recursive program schemes
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68062
author: Daniel Schwencke
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 2356.html
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 18C10
zbMATH DE Number: 6083560
zbMATH Keywords: recursive program scheme
zbMATH Keywords: nondeterminism
zbMATH Keywords: powerset monad
zbMATH Keywords: distributive law
zbMATH Keywords: final coalgebra
MaRDI profile type: Publication
OpenAlex ID: W2261320746
DOI: 10.4230/LIPICS.CSL.2011.496
title: A category theoretic view of nondeterministic recursive program schemes
description: scientific article; zbMATH DE number 6083560