Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157638043> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2157638043 endingPage "221" @default.
- W2157638043 startingPage "207" @default.
- W2157638043 abstract "We present a proof technique in λ -calculus that can facilitate inductive reasoning on λ -terms by separating certain β -developments from other β -reductions. We give proofs based on this technique for several fundamental theorems in λ -calculus such as the Church-Rosser theorem, the standardization theorem, the conservation theorem and the normalization theorem. The appealing features of these proofs lie in their inductive styles and perspicuities." @default.
- W2157638043 created "2016-06-24" @default.
- W2157638043 creator A5046868978 @default.
- W2157638043 date "2006-01-01" @default.
- W2157638043 modified "2023-09-24" @default.
- W2157638043 title "Development Separation in Lambda-Calculus" @default.
- W2157638043 cites W1496085154 @default.
- W2157638043 cites W2014182958 @default.
- W2157638043 cites W2018181305 @default.
- W2157638043 cites W2022062784 @default.
- W2157638043 cites W2036605992 @default.
- W2157638043 cites W2086727636 @default.
- W2157638043 cites W2088735483 @default.
- W2157638043 cites W2132042970 @default.
- W2157638043 cites W2184268586 @default.
- W2157638043 doi "https://doi.org/10.1016/j.entcs.2005.07.014" @default.
- W2157638043 hasPublicationYear "2006" @default.
- W2157638043 type Work @default.
- W2157638043 sameAs 2157638043 @default.
- W2157638043 citedByCount "2" @default.
- W2157638043 countsByYear W21576380432014 @default.
- W2157638043 crossrefType "journal-article" @default.
- W2157638043 hasAuthorship W2157638043A5046868978 @default.
- W2157638043 hasBestOaLocation W21576380431 @default.
- W2157638043 hasConcept C108710211 @default.
- W2157638043 hasConcept C11413529 @default.
- W2157638043 hasConcept C118615104 @default.
- W2157638043 hasConcept C135790938 @default.
- W2157638043 hasConcept C136119220 @default.
- W2157638043 hasConcept C136886441 @default.
- W2157638043 hasConcept C142156749 @default.
- W2157638043 hasConcept C144024400 @default.
- W2157638043 hasConcept C171636804 @default.
- W2157638043 hasConcept C19165224 @default.
- W2157638043 hasConcept C194886279 @default.
- W2157638043 hasConcept C199343813 @default.
- W2157638043 hasConcept C202444582 @default.
- W2157638043 hasConcept C206880738 @default.
- W2157638043 hasConcept C2524010 @default.
- W2157638043 hasConcept C2777686260 @default.
- W2157638043 hasConcept C33923547 @default.
- W2157638043 hasConcept C45962547 @default.
- W2157638043 hasConcept C61237538 @default.
- W2157638043 hasConcept C71924100 @default.
- W2157638043 hasConceptScore W2157638043C108710211 @default.
- W2157638043 hasConceptScore W2157638043C11413529 @default.
- W2157638043 hasConceptScore W2157638043C118615104 @default.
- W2157638043 hasConceptScore W2157638043C135790938 @default.
- W2157638043 hasConceptScore W2157638043C136119220 @default.
- W2157638043 hasConceptScore W2157638043C136886441 @default.
- W2157638043 hasConceptScore W2157638043C142156749 @default.
- W2157638043 hasConceptScore W2157638043C144024400 @default.
- W2157638043 hasConceptScore W2157638043C171636804 @default.
- W2157638043 hasConceptScore W2157638043C19165224 @default.
- W2157638043 hasConceptScore W2157638043C194886279 @default.
- W2157638043 hasConceptScore W2157638043C199343813 @default.
- W2157638043 hasConceptScore W2157638043C202444582 @default.
- W2157638043 hasConceptScore W2157638043C206880738 @default.
- W2157638043 hasConceptScore W2157638043C2524010 @default.
- W2157638043 hasConceptScore W2157638043C2777686260 @default.
- W2157638043 hasConceptScore W2157638043C33923547 @default.
- W2157638043 hasConceptScore W2157638043C45962547 @default.
- W2157638043 hasConceptScore W2157638043C61237538 @default.
- W2157638043 hasConceptScore W2157638043C71924100 @default.
- W2157638043 hasLocation W21576380431 @default.
- W2157638043 hasOpenAccess W2157638043 @default.
- W2157638043 hasPrimaryLocation W21576380431 @default.
- W2157638043 hasRelatedWork W1487251594 @default.
- W2157638043 hasRelatedWork W1566556607 @default.
- W2157638043 hasRelatedWork W1595139175 @default.
- W2157638043 hasRelatedWork W2005924676 @default.
- W2157638043 hasRelatedWork W2018100734 @default.
- W2157638043 hasRelatedWork W2152365225 @default.
- W2157638043 hasRelatedWork W2157638043 @default.
- W2157638043 hasRelatedWork W2250676683 @default.
- W2157638043 hasRelatedWork W2949538302 @default.
- W2157638043 hasRelatedWork W2951722929 @default.
- W2157638043 hasVolume "143" @default.
- W2157638043 isParatext "false" @default.
- W2157638043 isRetracted "false" @default.
- W2157638043 magId "2157638043" @default.
- W2157638043 workType "article" @default.