On denotational versus predicative semantics

DOI10.1016/0022-0000(91)90037-6zbMath0716.68060OpenAlexW1997793808MaRDI QIDQ753499

Christian Lengauer, Manfred Broy

Publication date: 1991

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(91)90037-6

zbMATH Keywords

denotational semanticspredicative semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Cites Work

• Power domains
• Predicative programming Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On denotational versus predicative semantics