The following pages link to Types in combinatory logic (Q2527821):
Displayed 6 items.
- (Q3869322) (← links)
- (Q3890661) (← links)
- (Q3910511) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- Strong reduction and normal form in combinatory logic (Q5532527) (← links)
- General models, descriptions, and choice in type theory (Q5680122) (← links)