Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502465324> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1502465324 endingPage "7" @default.
- W1502465324 startingPage "1" @default.
- W1502465324 abstract "Abstract A closed λ-term E is called an enumerator if ∀M ϵ /gL/dg /gTn ϵ N E/drn/dl = β M. Here Λ° is the set of closed λ-terms, N is the set of natural numbers and the / drn / dl are the Church numerals λfx ./ tf n x . Such an E is called reducing if moreover ∀M ϵ /gL/dg /gTn ϵ N E/drn/dl /a/gb M. In 1983 I conjectured that every enumerator is reducing. An ingenious recursion theoretic proof of this conjecture by Statman is presented in Barendregt (1992). The proof is not intuitionistically valid, however. Dirk van Dalen has encouraged me to find intuitionistic proofs whenever possible. In the lambda calculus this is usually not difficult. In this paper an intuitionistic version of Statmans proof will be given. It took me somewhat longer to find it than in other cases." @default.
- W1502465324 created "2016-06-24" @default.
- W1502465324 creator A5016150987 @default.
- W1502465324 date "1993-01-01" @default.
- W1502465324 modified "2023-09-23" @default.
- W1502465324 title "Enumerators of lambda terms are reducing constructively" @default.
- W1502465324 hasPublicationYear "1993" @default.
- W1502465324 type Work @default.
- W1502465324 sameAs 1502465324 @default.
- W1502465324 citedByCount "0" @default.
- W1502465324 crossrefType "journal-article" @default.
- W1502465324 hasAuthorship W1502465324A5016150987 @default.
- W1502465324 hasConcept C108710211 @default.
- W1502465324 hasConcept C11413529 @default.
- W1502465324 hasConcept C114614502 @default.
- W1502465324 hasConcept C118615104 @default.
- W1502465324 hasConcept C120665830 @default.
- W1502465324 hasConcept C121332964 @default.
- W1502465324 hasConcept C136119220 @default.
- W1502465324 hasConcept C168773036 @default.
- W1502465324 hasConcept C177264268 @default.
- W1502465324 hasConcept C184264201 @default.
- W1502465324 hasConcept C199343813 @default.
- W1502465324 hasConcept C199360897 @default.
- W1502465324 hasConcept C202444582 @default.
- W1502465324 hasConcept C204160518 @default.
- W1502465324 hasConcept C2524010 @default.
- W1502465324 hasConcept C2777686260 @default.
- W1502465324 hasConcept C2778113609 @default.
- W1502465324 hasConcept C2780990831 @default.
- W1502465324 hasConcept C33923547 @default.
- W1502465324 hasConcept C41008148 @default.
- W1502465324 hasConcept C61797465 @default.
- W1502465324 hasConcept C62520636 @default.
- W1502465324 hasConcept C71924100 @default.
- W1502465324 hasConcept C94375191 @default.
- W1502465324 hasConceptScore W1502465324C108710211 @default.
- W1502465324 hasConceptScore W1502465324C11413529 @default.
- W1502465324 hasConceptScore W1502465324C114614502 @default.
- W1502465324 hasConceptScore W1502465324C118615104 @default.
- W1502465324 hasConceptScore W1502465324C120665830 @default.
- W1502465324 hasConceptScore W1502465324C121332964 @default.
- W1502465324 hasConceptScore W1502465324C136119220 @default.
- W1502465324 hasConceptScore W1502465324C168773036 @default.
- W1502465324 hasConceptScore W1502465324C177264268 @default.
- W1502465324 hasConceptScore W1502465324C184264201 @default.
- W1502465324 hasConceptScore W1502465324C199343813 @default.
- W1502465324 hasConceptScore W1502465324C199360897 @default.
- W1502465324 hasConceptScore W1502465324C202444582 @default.
- W1502465324 hasConceptScore W1502465324C204160518 @default.
- W1502465324 hasConceptScore W1502465324C2524010 @default.
- W1502465324 hasConceptScore W1502465324C2777686260 @default.
- W1502465324 hasConceptScore W1502465324C2778113609 @default.
- W1502465324 hasConceptScore W1502465324C2780990831 @default.
- W1502465324 hasConceptScore W1502465324C33923547 @default.
- W1502465324 hasConceptScore W1502465324C41008148 @default.
- W1502465324 hasConceptScore W1502465324C61797465 @default.
- W1502465324 hasConceptScore W1502465324C62520636 @default.
- W1502465324 hasConceptScore W1502465324C71924100 @default.
- W1502465324 hasConceptScore W1502465324C94375191 @default.
- W1502465324 hasOpenAccess W1502465324 @default.
- W1502465324 hasRelatedWork W1493669822 @default.
- W1502465324 hasRelatedWork W1530861922 @default.
- W1502465324 hasRelatedWork W1965116174 @default.
- W1502465324 hasRelatedWork W1975531498 @default.
- W1502465324 hasRelatedWork W1975674911 @default.
- W1502465324 hasRelatedWork W1994439350 @default.
- W1502465324 hasRelatedWork W2007577694 @default.
- W1502465324 hasRelatedWork W2018946627 @default.
- W1502465324 hasRelatedWork W2020563202 @default.
- W1502465324 hasRelatedWork W2020594375 @default.
- W1502465324 hasRelatedWork W2051561433 @default.
- W1502465324 hasRelatedWork W2087421537 @default.
- W1502465324 hasRelatedWork W2088127783 @default.
- W1502465324 hasRelatedWork W2116943326 @default.
- W1502465324 hasRelatedWork W2118589925 @default.
- W1502465324 hasRelatedWork W2139830960 @default.
- W1502465324 hasRelatedWork W2232955493 @default.
- W1502465324 hasRelatedWork W2331506176 @default.
- W1502465324 hasRelatedWork W2503512312 @default.
- W1502465324 hasRelatedWork W2949686543 @default.
- W1502465324 isParatext "false" @default.
- W1502465324 isRetracted "false" @default.
- W1502465324 magId "1502465324" @default.
- W1502465324 workType "article" @default.