Luis E. Sanchis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Meta induction in operational set theory The Review of Modern Logic	2015-01-19	Paper
scientific article; zbMATH DE number 1241476 (Why is no real title available?)	1999-01-18	Paper
Recursive functionals Studies in Logic and the Foundations of Mathematics	1993-01-23	Paper
scientific article; zbMATH DE number 41858 (Why is no real title available?)	1992-09-17	Paper
Completeness of transfinite evaluation in an extension of the lambda calculus Journal of Symbolic Logic	1987-01-01	Paper
Reducibilities in two models for combinatory logic Journal of Symbolic Logic	1979-01-01	Paper
Hyperenumeration reducibility Notre Dame Journal of Formal Logic	1978-01-01	Paper
scientific article; zbMATH DE number 3611322 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3513362 (Why is no real title available?)	1974-01-01	Paper
Formally defined operations in Kripke models Notre Dame Journal of Formal Logic	1973-01-01	Paper
scientific article; zbMATH DE number 3358448 (Why is no real title available?)	1972-01-01	Paper
A generalization of the Gentzen Hauptsatz Notre Dame Journal of Formal Logic	1971-01-01	Paper
scientific article; zbMATH DE number 3382317 (Why is no real title available?)	1971-01-01	Paper
scientific article; zbMATH DE number 3254874 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3382294 (Why is no real title available?)	1965-01-01	Paper
Types in combinatory logic Notre Dame Journal of Formal Logic	1964-01-01	Paper
Neuer Beweis der funktionalen Vollständigkeit des zweiwertigen Aussagenkalküls Notre Dame Journal of Formal Logic	1961-01-01	Paper

Research outcomes over time

This page was built for person: Luis E. Sanchis