Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Operational Semantics works
apfelmus - The Operational Monad Tutorial
- rating: 1
An Introduction to Operational Semantics
- rating: 2
thautwarm/Sequent.jl: formally and easily, describe the semantics.
- rating: 2