Pages that link to "Item:Q1854309"
From MaRDI portal
The following pages link to Basic theory of \(F\)-bounded quantification. (Q1854309):
Displaying 4 items.
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Bounded existentials and minimal typing (Q1127527) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- A modest model of records, inheritance, and bounded quantification (Q4855338) (← links)