Similar Items: Generic Trace Semantics via Coinduction
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Coalgebraic trace semantics via forgetful logics
- Global semantic typing for inductive and coinductive computing
- General Recursion via Coinductive Types
- A Reduced Semantics for Deciding Trace Equivalence
- Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems