The following pages link to (Q4877444):
Displaying 6 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Factorization systems and fibrations (Q2842821) (← links)
- (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras (Q5014788) (← links)
- Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463) (← links)
