Winskel is (almost) right. Towards a mechanized semantics textbook

DOI10.1007/3-540-62034-6_48MaRDI QIDQ6567767zbMATH OpenFDO

Authors Tobias Nipkow

Publication date 5 July 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Winskel is (almost) right: Towards a mechanized semantics textbook
• Concrete semantics. With Isabelle/HOL
• Teaching semantics with a proof assistant: no more LSD trip proofs
• Publication:4945209
• A Sound Semantics for OCaml light

Cites work

• scientific article; zbMATH DE number 2185697 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3548474 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• Isabelle. A generic theorem prover
• Logic and Computation

This page was built for publication: Winskel is (almost) right. Towards a mechanized semantics textbook

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