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

DOI10.1007/3-540-62034-6_48zbMATH Open1541.6821MaRDI QIDQ6567767FDOQ6567767

Authors: Tobias Nipkow 

Publication date: 5 July 2024

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic and Computation
• Isabelle. A generic theorem prover
• Title not available (Why is that?)
• Title not available (Why is that?)

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)