Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511381872> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1511381872 endingPage "60" @default.
- W1511381872 startingPage "40" @default.
- W1511381872 abstract "There are two quite different possibilities for implementing linear head reduction in λ-calculus. Two ways which we are going to explain briefly here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natural optimization of the former." @default.
- W1511381872 created "2016-06-24" @default.
- W1511381872 creator A5011265941 @default.
- W1511381872 creator A5059657244 @default.
- W1511381872 date "1996-01-01" @default.
- W1511381872 modified "2023-09-30" @default.
- W1511381872 title "Reversible, Irreversible and Optimal λ-machines" @default.
- W1511381872 cites W1961717322 @default.
- W1511381872 cites W2008868842 @default.
- W1511381872 cites W2079171825 @default.
- W1511381872 cites W2083251128 @default.
- W1511381872 cites W2911865844 @default.
- W1511381872 doi "https://doi.org/10.1016/s1571-0661(05)80402-5" @default.
- W1511381872 hasPublicationYear "1996" @default.
- W1511381872 type Work @default.
- W1511381872 sameAs 1511381872 @default.
- W1511381872 citedByCount "9" @default.
- W1511381872 countsByYear W15113818722014 @default.
- W1511381872 countsByYear W15113818722018 @default.
- W1511381872 countsByYear W15113818722021 @default.
- W1511381872 countsByYear W15113818722023 @default.
- W1511381872 crossrefType "journal-article" @default.
- W1511381872 hasAuthorship W1511381872A5011265941 @default.
- W1511381872 hasAuthorship W1511381872A5059657244 @default.
- W1511381872 hasBestOaLocation W15113818721 @default.
- W1511381872 hasConcept C111335779 @default.
- W1511381872 hasConcept C111472728 @default.
- W1511381872 hasConcept C114793014 @default.
- W1511381872 hasConcept C121332964 @default.
- W1511381872 hasConcept C127313418 @default.
- W1511381872 hasConcept C138885662 @default.
- W1511381872 hasConcept C166957645 @default.
- W1511381872 hasConcept C199343813 @default.
- W1511381872 hasConcept C2524010 @default.
- W1511381872 hasConcept C25343380 @default.
- W1511381872 hasConcept C2776608160 @default.
- W1511381872 hasConcept C2777686260 @default.
- W1511381872 hasConcept C2780312720 @default.
- W1511381872 hasConcept C2780586882 @default.
- W1511381872 hasConcept C33923547 @default.
- W1511381872 hasConcept C41008148 @default.
- W1511381872 hasConcept C61797465 @default.
- W1511381872 hasConcept C62520636 @default.
- W1511381872 hasConcept C71924100 @default.
- W1511381872 hasConcept C77088390 @default.
- W1511381872 hasConcept C95457728 @default.
- W1511381872 hasConceptScore W1511381872C111335779 @default.
- W1511381872 hasConceptScore W1511381872C111472728 @default.
- W1511381872 hasConceptScore W1511381872C114793014 @default.
- W1511381872 hasConceptScore W1511381872C121332964 @default.
- W1511381872 hasConceptScore W1511381872C127313418 @default.
- W1511381872 hasConceptScore W1511381872C138885662 @default.
- W1511381872 hasConceptScore W1511381872C166957645 @default.
- W1511381872 hasConceptScore W1511381872C199343813 @default.
- W1511381872 hasConceptScore W1511381872C2524010 @default.
- W1511381872 hasConceptScore W1511381872C25343380 @default.
- W1511381872 hasConceptScore W1511381872C2776608160 @default.
- W1511381872 hasConceptScore W1511381872C2777686260 @default.
- W1511381872 hasConceptScore W1511381872C2780312720 @default.
- W1511381872 hasConceptScore W1511381872C2780586882 @default.
- W1511381872 hasConceptScore W1511381872C33923547 @default.
- W1511381872 hasConceptScore W1511381872C41008148 @default.
- W1511381872 hasConceptScore W1511381872C61797465 @default.
- W1511381872 hasConceptScore W1511381872C62520636 @default.
- W1511381872 hasConceptScore W1511381872C71924100 @default.
- W1511381872 hasConceptScore W1511381872C77088390 @default.
- W1511381872 hasConceptScore W1511381872C95457728 @default.
- W1511381872 hasLocation W15113818721 @default.
- W1511381872 hasLocation W15113818722 @default.
- W1511381872 hasLocation W15113818723 @default.
- W1511381872 hasOpenAccess W1511381872 @default.
- W1511381872 hasPrimaryLocation W15113818721 @default.
- W1511381872 hasRelatedWork W1887191277 @default.
- W1511381872 hasRelatedWork W1964230095 @default.
- W1511381872 hasRelatedWork W2018619927 @default.
- W1511381872 hasRelatedWork W2151762367 @default.
- W1511381872 hasRelatedWork W2334954212 @default.
- W1511381872 hasRelatedWork W2355764787 @default.
- W1511381872 hasRelatedWork W2964285269 @default.
- W1511381872 hasRelatedWork W3126118358 @default.
- W1511381872 hasRelatedWork W4235288607 @default.
- W1511381872 hasRelatedWork W4238075012 @default.
- W1511381872 hasVolume "3" @default.
- W1511381872 isParatext "false" @default.
- W1511381872 isRetracted "false" @default.
- W1511381872 magId "1511381872" @default.
- W1511381872 workType "article" @default.