Operational Semantics
(Up) | Wikipedia: Operational semantics | See also: Formal Specification, Programming Languages
Web resources
apfelmus - The Operational Monad Tutorial ★
Repositories
thautwarm/Sequent.jl: formally and easily, describe the semantics. ★★ 💭
(in Calculus of Constructions) wilbowma/cic-redex: A Redex model of CIC as specified in Chapter 4 of the Coq reference manual. ★
Papers
An Introduction to Operational Semantics ★★ 💭
(in Theorem Proving) Theorem proving support in programming language semantics (online @ arxiv.org) ★ 💭