Pages that link to "Item:Q5249668"
From MaRDI portal
The following pages link to Intensionality, Definability and Computation (Q5249668):
Displaying 15 items.
- Computational inductive definability (Q598276) (← links)
- Intensional aspects of function definitions (Q673180) (← links)
- Intensional computation with higher-order functions (Q1733061) (← links)
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Definability and full abstraction (Q2864154) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- (Q3138535) (← links)
- (Q4325780) (← links)
- (Q5039161) (← links)
- Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects† (Q5234244) (← links)
- Logical Approaches to Computational Barriers (Q5898798) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky (Q6612778) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)