Matches in SemOpenAlex for { <https://semopenalex.org/work/W3121959968> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3121959968 abstract "The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, known as $ D_infty$, to represent the $lambda$-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $infty$-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_infty$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $lambda$-models with the structure of a non-trivial $infty$-groupoid to generalize the proofs of term conversion (e.g., $beta$-equality, $eta$-equality) to higher-proofs in $lambda$-calculus." @default.
- W3121959968 created "2021-02-01" @default.
- W3121959968 creator A5039065132 @default.
- W3121959968 creator A5084128763 @default.
- W3121959968 date "2019-06-13" @default.
- W3121959968 modified "2023-09-27" @default.
- W3121959968 title "The $infty$-groupoid generated by an arbitrary topological $lambda$-model" @default.
- W3121959968 cites W1921642287 @default.
- W3121959968 cites W2010959827 @default.
- W3121959968 cites W2098691999 @default.
- W3121959968 cites W2949951895 @default.
- W3121959968 cites W3040586665 @default.
- W3121959968 cites W3101976357 @default.
- W3121959968 cites W3146195181 @default.
- W3121959968 hasPublicationYear "2019" @default.
- W3121959968 type Work @default.
- W3121959968 sameAs 3121959968 @default.
- W3121959968 citedByCount "0" @default.
- W3121959968 crossrefType "posted-content" @default.
- W3121959968 hasAuthorship W3121959968A5039065132 @default.
- W3121959968 hasAuthorship W3121959968A5084128763 @default.
- W3121959968 hasConcept C108710211 @default.
- W3121959968 hasConcept C114614502 @default.
- W3121959968 hasConcept C118615104 @default.
- W3121959968 hasConcept C120665830 @default.
- W3121959968 hasConcept C121332964 @default.
- W3121959968 hasConcept C136119220 @default.
- W3121959968 hasConcept C14036430 @default.
- W3121959968 hasConcept C150355047 @default.
- W3121959968 hasConcept C167729594 @default.
- W3121959968 hasConcept C184720557 @default.
- W3121959968 hasConcept C199343813 @default.
- W3121959968 hasConcept C202444582 @default.
- W3121959968 hasConcept C2524010 @default.
- W3121959968 hasConcept C2777686260 @default.
- W3121959968 hasConcept C2778113609 @default.
- W3121959968 hasConcept C33923547 @default.
- W3121959968 hasConcept C61797465 @default.
- W3121959968 hasConcept C62520636 @default.
- W3121959968 hasConcept C71924100 @default.
- W3121959968 hasConcept C78458016 @default.
- W3121959968 hasConcept C86803240 @default.
- W3121959968 hasConceptScore W3121959968C108710211 @default.
- W3121959968 hasConceptScore W3121959968C114614502 @default.
- W3121959968 hasConceptScore W3121959968C118615104 @default.
- W3121959968 hasConceptScore W3121959968C120665830 @default.
- W3121959968 hasConceptScore W3121959968C121332964 @default.
- W3121959968 hasConceptScore W3121959968C136119220 @default.
- W3121959968 hasConceptScore W3121959968C14036430 @default.
- W3121959968 hasConceptScore W3121959968C150355047 @default.
- W3121959968 hasConceptScore W3121959968C167729594 @default.
- W3121959968 hasConceptScore W3121959968C184720557 @default.
- W3121959968 hasConceptScore W3121959968C199343813 @default.
- W3121959968 hasConceptScore W3121959968C202444582 @default.
- W3121959968 hasConceptScore W3121959968C2524010 @default.
- W3121959968 hasConceptScore W3121959968C2777686260 @default.
- W3121959968 hasConceptScore W3121959968C2778113609 @default.
- W3121959968 hasConceptScore W3121959968C33923547 @default.
- W3121959968 hasConceptScore W3121959968C61797465 @default.
- W3121959968 hasConceptScore W3121959968C62520636 @default.
- W3121959968 hasConceptScore W3121959968C71924100 @default.
- W3121959968 hasConceptScore W3121959968C78458016 @default.
- W3121959968 hasConceptScore W3121959968C86803240 @default.
- W3121959968 hasLocation W31219599681 @default.
- W3121959968 hasOpenAccess W3121959968 @default.
- W3121959968 hasPrimaryLocation W31219599681 @default.
- W3121959968 hasRelatedWork W1498388520 @default.
- W3121959968 hasRelatedWork W1539094057 @default.
- W3121959968 hasRelatedWork W2016890450 @default.
- W3121959968 hasRelatedWork W2138898876 @default.
- W3121959968 hasRelatedWork W2142922307 @default.
- W3121959968 hasRelatedWork W2341511048 @default.
- W3121959968 hasRelatedWork W2494247423 @default.
- W3121959968 hasRelatedWork W2528395280 @default.
- W3121959968 hasRelatedWork W2604113717 @default.
- W3121959968 hasRelatedWork W2626484022 @default.
- W3121959968 hasRelatedWork W2811096597 @default.
- W3121959968 hasRelatedWork W2913248536 @default.
- W3121959968 hasRelatedWork W2949445502 @default.
- W3121959968 hasRelatedWork W2952988636 @default.
- W3121959968 hasRelatedWork W2964225259 @default.
- W3121959968 hasRelatedWork W2990660716 @default.
- W3121959968 hasRelatedWork W3100233597 @default.
- W3121959968 hasRelatedWork W3164665608 @default.
- W3121959968 hasRelatedWork W3180068943 @default.
- W3121959968 hasRelatedWork W80224702 @default.
- W3121959968 isParatext "false" @default.
- W3121959968 isRetracted "false" @default.
- W3121959968 magId "3121959968" @default.
- W3121959968 workType "article" @default.