The following pages link to (Q3805933):
Displaying 15 items.
- Computational interpretations of linear logic (Q685430) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Static semantics, types, and binding time analysis (Q1179698) (← links)
- Origin tracking (Q1322842) (← links)
- Computational adequacy of the FIX-logic (Q1349677) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q3774923) (← links)
- Natural Logic and Semantics (Q4933249) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)