scientific article; zbMATH DE number 65532

MaRDI QIDQ4012880zbMATH OpenFDO

Authors Furio Honsell, Rod Burstall

Publication date 27 September 1992

zbMATH Keywords

programming languagesELFEdinburgh Logical FrameworkNatural DeductionOperational Semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4092734
• scientific article; zbMATH DE number 65531
• A relevant analysis of natural deduction
• scientific article; zbMATH DE number 4180832
• Logical frameworks

Cited in

(9)

• Operational semantics and generalized weakest preconditions
• Efficient substitution in Hoare logic expressions
• A natural deduction approach to dynamic logic
• Formal foundations of operational semantics
• Mechanizing type environments in weak HOAS
• scientific article; zbMATH DE number 851066 (Why is no real title available?)
• The expressive power of Structural Operational Semantics with explicit assumptions
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
• scientific article; zbMATH DE number 4092734 (Why is no real title available?)

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 Q4012880)