Computational adequacy of the FIX-logic
type: Item
instance of: scholarly article
title: Computational adequacy of the FIX-logic
zbMATH Open document ID: 0874.68267
DOI: 10.1016/0304-3975(95)90335-I
author: Roy L. Crole
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 983731
MaRDI profile type: Publication
cites work: Categories for Types
cites work: Q3999206
cites work: New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
cites work: Q4133603
cites work: Q4288818
cites work: Q3805933
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: LCF considered as a programming language
cites work: Q3141916
full work available at URL: 0304-3975(95)90335-i
OpenAlex ID: W1978485780
description: scientific article; zbMATH DE number 983731