Metasoft primer: towards a metalanguage for applied denotational semantics

Authors:
Andrzej Blikle
Affiliations:
Polish Academy of Sciences, Warsaw, Poland
Venue:
Metasoft primer: towards a metalanguage for applied denotational semantics
Year:
1987

Citing 0
Cited 3

Fast and loose reasoning is morally correct

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Fundamenta Informaticae
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract