Matches in SemOpenAlex for { <https://semopenalex.org/work/W596421593> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W596421593 abstract "Reducibility has been used to prove a number of properties in the λ-calculus and is well known to offer on one hand very general proofs which can be applied to a number of instantiations, and on the other hand, to be quite mysterious and inflexible. In this paper, we look at two related but different results in λ-calculi with intersection types. We show that one such result (which aims at giving reducibility proofs of Church-Rosser, standardisation and weak normalisation for the untyped λ-calculus) faces serious problems which break the reducibility method and then we provide a proposal to partially repair the method. Then, we consider a second result whose purpose is to use reducibility for typed terms to show Church-Rosser of β-developments for untyped terms (without needing to use strong normalisation), from which Church-Rosser of β-reduction easily follows. We extend the second result to encompass both βIand βη-reduction rather than simply β-reduction." @default.
- W596421593 created "2016-06-24" @default.
- W596421593 creator A5029629039 @default.
- W596421593 creator A5031944209 @default.
- W596421593 creator A5083304815 @default.
- W596421593 date "2008-01-01" @default.
- W596421593 modified "2023-09-27" @default.
- W596421593 title "Reducibility Proofs in the λ-Calculi with Intersection Types" @default.
- W596421593 cites W1520157111 @default.
- W596421593 cites W1567648932 @default.
- W596421593 cites W2031805453 @default.
- W596421593 cites W2043566933 @default.
- W596421593 cites W2088979440 @default.
- W596421593 cites W2144503258 @default.
- W596421593 cites W2149837936 @default.
- W596421593 cites W1575120679 @default.
- W596421593 hasPublicationYear "2008" @default.
- W596421593 type Work @default.
- W596421593 sameAs 596421593 @default.
- W596421593 citedByCount "0" @default.
- W596421593 crossrefType "journal-article" @default.
- W596421593 hasAuthorship W596421593A5029629039 @default.
- W596421593 hasAuthorship W596421593A5031944209 @default.
- W596421593 hasAuthorship W596421593A5083304815 @default.
- W596421593 hasConcept C108710211 @default.
- W596421593 hasConcept C111335779 @default.
- W596421593 hasConcept C118615104 @default.
- W596421593 hasConcept C127413603 @default.
- W596421593 hasConcept C136119220 @default.
- W596421593 hasConcept C146978453 @default.
- W596421593 hasConcept C199343813 @default.
- W596421593 hasConcept C202444582 @default.
- W596421593 hasConcept C2524010 @default.
- W596421593 hasConcept C2777686260 @default.
- W596421593 hasConcept C33923547 @default.
- W596421593 hasConcept C64543145 @default.
- W596421593 hasConcept C71924100 @default.
- W596421593 hasConceptScore W596421593C108710211 @default.
- W596421593 hasConceptScore W596421593C111335779 @default.
- W596421593 hasConceptScore W596421593C118615104 @default.
- W596421593 hasConceptScore W596421593C127413603 @default.
- W596421593 hasConceptScore W596421593C136119220 @default.
- W596421593 hasConceptScore W596421593C146978453 @default.
- W596421593 hasConceptScore W596421593C199343813 @default.
- W596421593 hasConceptScore W596421593C202444582 @default.
- W596421593 hasConceptScore W596421593C2524010 @default.
- W596421593 hasConceptScore W596421593C2777686260 @default.
- W596421593 hasConceptScore W596421593C33923547 @default.
- W596421593 hasConceptScore W596421593C64543145 @default.
- W596421593 hasConceptScore W596421593C71924100 @default.
- W596421593 hasLocation W5964215931 @default.
- W596421593 hasOpenAccess W596421593 @default.
- W596421593 hasPrimaryLocation W5964215931 @default.
- W596421593 hasRelatedWork W115095706 @default.
- W596421593 hasRelatedWork W1507611082 @default.
- W596421593 hasRelatedWork W1507801349 @default.
- W596421593 hasRelatedWork W2014812345 @default.
- W596421593 hasRelatedWork W2057072590 @default.
- W596421593 hasRelatedWork W2068044092 @default.
- W596421593 hasRelatedWork W2073404010 @default.
- W596421593 hasRelatedWork W2132717091 @default.
- W596421593 hasRelatedWork W2167035213 @default.
- W596421593 hasRelatedWork W2219039436 @default.
- W596421593 hasRelatedWork W2240567774 @default.
- W596421593 hasRelatedWork W2247658575 @default.
- W596421593 hasRelatedWork W2467048503 @default.
- W596421593 hasRelatedWork W2521200141 @default.
- W596421593 hasRelatedWork W2553042017 @default.
- W596421593 hasRelatedWork W2739481936 @default.
- W596421593 hasRelatedWork W3037708110 @default.
- W596421593 hasRelatedWork W3159047636 @default.
- W596421593 hasRelatedWork W33052584 @default.
- W596421593 hasRelatedWork W1884307414 @default.
- W596421593 isParatext "false" @default.
- W596421593 isRetracted "false" @default.
- W596421593 magId "596421593" @default.
- W596421593 workType "article" @default.