Pages that link to "Item:Q4353722"
From MaRDI portal
The following pages link to A note on logical relations between semantics and syntax (Q4353722):
Displaying 5 items.
- Syntactic awareness in logical dynamics (Q513899) (← links)
- On denotational versus predicative semantics (Q753499) (← links)
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Relational reasoning about contexts (Q2704324) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)