Q3759933
type: Item
instance of: scholarly article
zbMATH Open document ID: 0622.68016
author: Manrique Iriarte Quirós
author: Manuel Betancourt Loyola
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4009792
MaRDI profile type: Publication
Recommended article: Denotational semantics of a para-functional programming language
Recommended article: Recursive terms in semantic programming
Recommended article: Semantics of Higher-Order Recursion Schemes
Recommended article: Recursive programs and denotational semantics in absolute logics of programs
Recommended article: Q3823786
Recommended article: Q3490962
Recommended article: Predicate-transformer semantics of general recursion
Recommended article: Denotational semantics of mixed computation processes for a structural programming language
Recommended article: Q3824397
description: scientific article