The following pages link to (Q4417870):
Displayed 5 items.
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Structuring Operational Semantics: Simplification and Computation (Q2864160) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)