The following pages link to (Q4813223):
Displaying 7 items.
- Dualized Simple Type Theory (Q2974773) (← links)
- A complete, co-inductive syntactic theory of sequential control and state (Q3189795) (← links)
- The Vienna abstract machine (Q4339848) (← links)
- (Q4461750) (← links)
- (Q4880493) (← links)
- Abstracting abstract machines (Q5176929) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)