Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970752973> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1970752973 endingPage "147" @default.
- W1970752973 startingPage "121" @default.
- W1970752973 abstract "In this paper, we show the weak normalization (WN) of the simply-typed λse-calculus with open terms where abstractions are decorated with types, and metavariables, de Bruijn indices and updating operators are decorated with environments. We show a proof of WN using the λωe-calculus, a calculus isomorphic to λse→. This proof is strongly influenced by Goubault-Larrecq's proof of WN for the λ σ-calculus but with subtle differences which show that the two styles require different attention. Furthermore, we give a new calculus λ ω′e which works like λse but which is closer to λ σ than λωe. For both λωe and λ ω′e we prove WN for typed semi-open terms (i.e. those which allow term variables but no substitution variables), unlike the result of Goubault-Larrecq which covered all λ σ open terms." @default.
- W1970752973 created "2016-06-24" @default.
- W1970752973 creator A5031944209 @default.
- W1970752973 creator A5064308541 @default.
- W1970752973 creator A5077290651 @default.
- W1970752973 date "2007-05-15" @default.
- W1970752973 modified "2023-10-16" @default.
- W1970752973 title "The Weak Normalization of the Simply Typed se-calculus" @default.
- W1970752973 cites W1514119099 @default.
- W1970752973 cites W1992452788 @default.
- W1970752973 cites W2017143801 @default.
- W1970752973 cites W2151872924 @default.
- W1970752973 cites W2568721247 @default.
- W1970752973 doi "https://doi.org/10.1093/jigpal/jzm003" @default.
- W1970752973 hasPublicationYear "2007" @default.
- W1970752973 type Work @default.
- W1970752973 sameAs 1970752973 @default.
- W1970752973 citedByCount "0" @default.
- W1970752973 crossrefType "journal-article" @default.
- W1970752973 hasAuthorship W1970752973A5031944209 @default.
- W1970752973 hasAuthorship W1970752973A5064308541 @default.
- W1970752973 hasAuthorship W1970752973A5077290651 @default.
- W1970752973 hasConcept C118615104 @default.
- W1970752973 hasConcept C135790938 @default.
- W1970752973 hasConcept C136886441 @default.
- W1970752973 hasConcept C142156749 @default.
- W1970752973 hasConcept C144024400 @default.
- W1970752973 hasConcept C170320093 @default.
- W1970752973 hasConcept C19165224 @default.
- W1970752973 hasConcept C199343813 @default.
- W1970752973 hasConcept C2777686260 @default.
- W1970752973 hasConcept C33923547 @default.
- W1970752973 hasConcept C55128367 @default.
- W1970752973 hasConcept C61237538 @default.
- W1970752973 hasConcept C62073222 @default.
- W1970752973 hasConcept C71924100 @default.
- W1970752973 hasConceptScore W1970752973C118615104 @default.
- W1970752973 hasConceptScore W1970752973C135790938 @default.
- W1970752973 hasConceptScore W1970752973C136886441 @default.
- W1970752973 hasConceptScore W1970752973C142156749 @default.
- W1970752973 hasConceptScore W1970752973C144024400 @default.
- W1970752973 hasConceptScore W1970752973C170320093 @default.
- W1970752973 hasConceptScore W1970752973C19165224 @default.
- W1970752973 hasConceptScore W1970752973C199343813 @default.
- W1970752973 hasConceptScore W1970752973C2777686260 @default.
- W1970752973 hasConceptScore W1970752973C33923547 @default.
- W1970752973 hasConceptScore W1970752973C55128367 @default.
- W1970752973 hasConceptScore W1970752973C61237538 @default.
- W1970752973 hasConceptScore W1970752973C62073222 @default.
- W1970752973 hasConceptScore W1970752973C71924100 @default.
- W1970752973 hasIssue "2" @default.
- W1970752973 hasLocation W19707529731 @default.
- W1970752973 hasOpenAccess W1970752973 @default.
- W1970752973 hasPrimaryLocation W19707529731 @default.
- W1970752973 hasRelatedWork W1595139175 @default.
- W1970752973 hasRelatedWork W1603995370 @default.
- W1970752973 hasRelatedWork W2005924676 @default.
- W1970752973 hasRelatedWork W2152365225 @default.
- W1970752973 hasRelatedWork W2285424334 @default.
- W1970752973 hasRelatedWork W2615070270 @default.
- W1970752973 hasRelatedWork W4230977852 @default.
- W1970752973 hasRelatedWork W4281982925 @default.
- W1970752973 hasRelatedWork W62459810 @default.
- W1970752973 hasRelatedWork W2761902706 @default.
- W1970752973 hasVolume "15" @default.
- W1970752973 isParatext "false" @default.
- W1970752973 isRetracted "false" @default.
- W1970752973 magId "1970752973" @default.
- W1970752973 workType "article" @default.