The following pages link to Map theory (Q1193653):
Displaying 12 items.
- Unifying sets and programs via dependent types (Q408534) (← links)
- A synthetic axiomatization of map theory (Q906269) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Distinguishing index of maps (Q2011148) (← links)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- (Q2996072) (← links)
- Map Construction Algorithms (Q3460140) (← links)
- Unifying Sets and Programs via Dependent Types (Q3605541) (← links)
- (Q4861505) (← links)
- (Q4991956) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)