The following pages link to (Q3784072):
Displaying 14 items.
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Equational methods in first order predicate calculus (Q1065783) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Categorical models of polymorphism (Q1193592) (← links)
- Categories of embeddings (Q1263665) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- Comparing higher-order encodings in logical frameworks and tile logic (Q2841275) (← links)
- (Q3201049) (← links)
- Second-Order Equational Logic (Extended Abstract) (Q3586049) (← links)
- (Q3728962) (← links)
- (Q4229811) (← links)
- (Q4345010) (← links)