The following pages link to Theoretical Computer Science (Q5897361):
Displaying 7 items.
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- (Q2767044) (← links)
- Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN (Q2782483) (← links)
- (Q4428887) (← links)
- Axiomatization of a Denotational Semantics for First-order Logic (Q4659577) (← links)
- (Q4950082) (← links)
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L<sub>vft</sub> (Q4950599) (← links)