Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912088735> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2912088735 endingPage "354" @default.
- W2912088735 startingPage "340" @default.
- W2912088735 abstract "We introduce λƐ, a simply typed calculus with environments as first class values. As well as the usual constructs of λ and application, we have e[[a]] which evaluates term a in an environment e. Our environments are a set of variable-value pairs, but environments can also be computed by function application and evaluation in some other environments. The notion of environments here is a generalization of explicit substitutions and records. We show that the calculus has desirable properties such as subject reduction, confluence, conservativity over the simply typed λβ-calculus and strong normalizability." @default.
- W2912088735 created "2019-02-21" @default.
- W2912088735 creator A5025166622 @default.
- W2912088735 creator A5073222318 @default.
- W2912088735 creator A5084922158 @default.
- W2912088735 date "1999-04-07" @default.
- W2912088735 modified "2023-09-23" @default.
- W2912088735 title "Explicit Environments" @default.
- W2912088735 cites W1532832651 @default.
- W2912088735 cites W159715351 @default.
- W2912088735 cites W2017143801 @default.
- W2912088735 cites W2039123207 @default.
- W2912088735 cites W2055655588 @default.
- W2912088735 cites W2090435472 @default.
- W2912088735 cites W2095553492 @default.
- W2912088735 cites W2151872924 @default.
- W2912088735 hasPublicationYear "1999" @default.
- W2912088735 type Work @default.
- W2912088735 sameAs 2912088735 @default.
- W2912088735 citedByCount "4" @default.
- W2912088735 crossrefType "proceedings-article" @default.
- W2912088735 hasAuthorship W2912088735A5025166622 @default.
- W2912088735 hasAuthorship W2912088735A5073222318 @default.
- W2912088735 hasAuthorship W2912088735A5084922158 @default.
- W2912088735 hasConcept C121332964 @default.
- W2912088735 hasConcept C134306372 @default.
- W2912088735 hasConcept C14036430 @default.
- W2912088735 hasConcept C154945302 @default.
- W2912088735 hasConcept C177148314 @default.
- W2912088735 hasConcept C177264268 @default.
- W2912088735 hasConcept C182365436 @default.
- W2912088735 hasConcept C18460168 @default.
- W2912088735 hasConcept C199343813 @default.
- W2912088735 hasConcept C199360897 @default.
- W2912088735 hasConcept C2777212361 @default.
- W2912088735 hasConcept C2777686260 @default.
- W2912088735 hasConcept C33923547 @default.
- W2912088735 hasConcept C41008148 @default.
- W2912088735 hasConcept C61797465 @default.
- W2912088735 hasConcept C62520636 @default.
- W2912088735 hasConcept C71924100 @default.
- W2912088735 hasConcept C77906462 @default.
- W2912088735 hasConcept C78458016 @default.
- W2912088735 hasConcept C80444323 @default.
- W2912088735 hasConcept C86803240 @default.
- W2912088735 hasConceptScore W2912088735C121332964 @default.
- W2912088735 hasConceptScore W2912088735C134306372 @default.
- W2912088735 hasConceptScore W2912088735C14036430 @default.
- W2912088735 hasConceptScore W2912088735C154945302 @default.
- W2912088735 hasConceptScore W2912088735C177148314 @default.
- W2912088735 hasConceptScore W2912088735C177264268 @default.
- W2912088735 hasConceptScore W2912088735C182365436 @default.
- W2912088735 hasConceptScore W2912088735C18460168 @default.
- W2912088735 hasConceptScore W2912088735C199343813 @default.
- W2912088735 hasConceptScore W2912088735C199360897 @default.
- W2912088735 hasConceptScore W2912088735C2777212361 @default.
- W2912088735 hasConceptScore W2912088735C2777686260 @default.
- W2912088735 hasConceptScore W2912088735C33923547 @default.
- W2912088735 hasConceptScore W2912088735C41008148 @default.
- W2912088735 hasConceptScore W2912088735C61797465 @default.
- W2912088735 hasConceptScore W2912088735C62520636 @default.
- W2912088735 hasConceptScore W2912088735C71924100 @default.
- W2912088735 hasConceptScore W2912088735C77906462 @default.
- W2912088735 hasConceptScore W2912088735C78458016 @default.
- W2912088735 hasConceptScore W2912088735C80444323 @default.
- W2912088735 hasConceptScore W2912088735C86803240 @default.
- W2912088735 hasLocation W29120887351 @default.
- W2912088735 hasOpenAccess W2912088735 @default.
- W2912088735 hasPrimaryLocation W29120887351 @default.
- W2912088735 hasRelatedWork W1585954935 @default.
- W2912088735 hasRelatedWork W1604541089 @default.
- W2912088735 hasRelatedWork W2007756883 @default.
- W2912088735 hasRelatedWork W2082949147 @default.
- W2912088735 hasRelatedWork W2169655078 @default.
- W2912088735 hasRelatedWork W2171150592 @default.
- W2912088735 hasRelatedWork W2188377229 @default.
- W2912088735 hasRelatedWork W2201760732 @default.
- W2912088735 hasRelatedWork W2213473692 @default.
- W2912088735 hasRelatedWork W2255318965 @default.
- W2912088735 hasRelatedWork W2277937096 @default.
- W2912088735 hasRelatedWork W2296133763 @default.
- W2912088735 hasRelatedWork W2590672467 @default.
- W2912088735 hasRelatedWork W2660255895 @default.
- W2912088735 hasRelatedWork W2809176260 @default.
- W2912088735 hasRelatedWork W2911600412 @default.
- W2912088735 hasRelatedWork W2960903742 @default.
- W2912088735 hasRelatedWork W3023853936 @default.
- W2912088735 hasRelatedWork W3089232200 @default.
- W2912088735 hasRelatedWork W3089303239 @default.
- W2912088735 isParatext "false" @default.
- W2912088735 isRetracted "false" @default.
- W2912088735 magId "2912088735" @default.
- W2912088735 workType "article" @default.