Bisimilarity as a theory of functional programming
type: Item
instance of: scholarly article
title: Bisimilarity as a theory of functional programming
zbMATH Open document ID: 0968.68028
DOI: 10.1016/S0304-3975(98)00353-3
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
review text: The objektive of this paper is to use CCS-style labbelled transitions and bisimilarity to offer a new perspective on the behavior of functional programs. Morris-style contextual equivalence is characterized in terms of reduction behavior and production of values.
reviewed by: Emil Ivanov
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1495179
zbMATH Keywords: functional programming
zbMATH Keywords: bisimilarity
zbMATH Keywords: co-induction
author: Andrew D. Gordon
MaRDI profile type: Publication
full work available at URL: s0304-3975(98)00353-3
OpenAlex ID: W1979328536
description: scientific article; zbMATH DE number 1495179