The following pages link to Map theory (Q1193653):
Displaying 6 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)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- Unifying Sets and Programs via Dependent Types (Q3605541) (← links)
- (Q4991956) (← links)
