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

This page was built for person: Luis E. Sanchis