The following pages link to (Q4027624):
Displaying 8 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- (Q3201049) (← links)
- (Q4793025) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- Subtyping + extensionality: Confluence of βηtop reduction in F≤ (Q5096246) (← links)