The following pages link to Luis E. Sanchis (Q487219):
Displayed 18 items.
- Meta induction in operational set theory (Q487220) (← links)
- Recursive functionals (Q1202200) (← links)
- Hyperenumeration reducibility (Q1229714) (← links)
- Item:Q487219 (redirect page) (← links)
- Types in combinatory logic (Q2527821) (← links)
- A generalization of the Gentzen Hauptsatz (Q2537103) (← links)
- Formally defined operations in Kripke models (Q2562174) (← links)
- Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls (Q2625692) (← links)
- Reducibilities in two models for combinatory logic (Q3206935) (← links)
- Completeness of transfinite evaluation in an extension of the lambda calculus (Q3765742) (← links)
- (Q3994786) (← links)
- (Q4093023) (← links)
- (Q4175259) (← links)
- (Q4225023) (← links)
- (Q5541310) (← links)
- (Q5632549) (← links)
- (Q5652643) (← links)
- (Q5652651) (← links)