Pages that link to "Item:Q4405696"
From MaRDI portal
The following pages link to βη-complete models for System <i>F</i> (Q4405696):
Displaying 5 items.
- Internal models of system F for decompilation (Q428882) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- On a question of H. Friedman (Q1917095) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- Complete Types in an Extension of the System <i>AF</i>2 (Q3647204) (← links)