Pages that link to "Item:Q1899911"
From MaRDI portal
The following pages link to A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond (Q1899911):
Displaying 6 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
- Hybrid interactive theorem proving using nuprl and HOL (Q5234717) (← links)