The following pages link to ON THE REDUCTION OF TYPE THEORY (Q3216641):
Displaying 7 items.
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- The role of compactification theory in the type problem (Q934308) (← links)
- The rise and fall of typed sentences (Q2710614) (← links)
- An intensional type theory: Motivation and cut-elimination (Q2732287) (← links)
- NFSI IS NOT INCLUDED IN NF<sub>3</sub> (Q2976373) (← links)
- (Q4362909) (← links)
- Typed Lambda Calculi and Applications (Q5704015) (← links)