Luis E. Sanchis

Available identifiers

zbMath Open sanchis.luis-elpidioMaRDI QIDQ487219

List of research outcomes

Publication	Date of Publication	Type
Meta induction in operational set theory	2015-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4225023	1999-01-18	Paper
Recursive functionals	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3994786	1992-09-17	Paper
Completeness of transfinite evaluation in an extension of the lambda calculus	1987-01-01	Paper
Reducibilities in two models for combinatory logic	1979-01-01	Paper
Hyperenumeration reducibility	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4175259	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4093023	1974-01-01	Paper
Formally defined operations in Kripke models	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632549	1972-01-01	Paper
A generalization of the Gentzen Hauptsatz	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5652651	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541310	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5652643	1965-01-01	Paper
Types in combinatory logic	1964-01-01	Paper
Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls	1961-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luis E. Sanchis