The following pages link to Logic and programming languages (Q4127363):
Displaying 5 items.
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- \({\mathbf Z}\)-continuous posets (Q1917482) (← links)
- The complexity of type inference for higher-order typed lambda calculi (Q4764610) (← links)
- Full abstraction and the Context Lemma (preliminary report) (Q5096215) (← links)