The following pages link to (Q3816229):
Displaying 11 items.
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Towards higher topology (Q2229960) (← links)
- A localization of bicategories via homotopies (Q3294960) (← links)
- (Q3986541) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- (Q4380421) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
