scientific article; zbMATH DE number 978239

zbMATH Open0865.68078MaRDI QIDQ4332415FDOQ4332415

Authors: Andrzej Blikle 

Publication date: 21 April 1997

Title of this publication is not available (Why is that?)

Recommendations

• Computability theory in admissible domains
• MetaSoft primer. Towards a metalanguage for applied denotational semantics
• Denotational engineering
• scientific article; zbMATH DE number 3890703
• scientific article; zbMATH DE number 3902017

zbMATH Keywords

applied denotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (1)

• Logics of programs as a fuelling force for semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332415)