Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898747740> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2898747740 abstract "Starting from an exact correspondence between affine approximations and non-idempotent intersection types, we develop a general framework for building intersection types systems characterizing normalization properties. We show how this construction, which uses in a fundamental way Mellies and Zeilberger’s ``type systems as functors'' viewpoint, allows us to recover equivalent versions of every well known intersection type system (including Coppo and Dezani’s original system, as well as its non-idempotent variants independently introduced by Gardner and de Carvalho). We also show how new systems of intersection types may be built almost automatically in this way." @default.
- W2898747740 created "2018-11-09" @default.
- W2898747740 creator A5026651750 @default.
- W2898747740 creator A5076180903 @default.
- W2898747740 creator A5088134720 @default.
- W2898747740 date "2018-01-07" @default.
- W2898747740 modified "2023-10-03" @default.
- W2898747740 title "Polyadic Approximations, Fibrations and Intersection Types" @default.
- W2898747740 hasPublicationYear "2018" @default.
- W2898747740 type Work @default.
- W2898747740 sameAs 2898747740 @default.
- W2898747740 citedByCount "5" @default.
- W2898747740 countsByYear W28987477402019 @default.
- W2898747740 countsByYear W28987477402020 @default.
- W2898747740 countsByYear W28987477402021 @default.
- W2898747740 crossrefType "proceedings-article" @default.
- W2898747740 hasAuthorship W2898747740A5026651750 @default.
- W2898747740 hasAuthorship W2898747740A5076180903 @default.
- W2898747740 hasAuthorship W2898747740A5088134720 @default.
- W2898747740 hasConcept C11413529 @default.
- W2898747740 hasConcept C127413603 @default.
- W2898747740 hasConcept C136119220 @default.
- W2898747740 hasConcept C136886441 @default.
- W2898747740 hasConcept C144024400 @default.
- W2898747740 hasConcept C146978453 @default.
- W2898747740 hasConcept C156772000 @default.
- W2898747740 hasConcept C172252984 @default.
- W2898747740 hasConcept C18903297 @default.
- W2898747740 hasConcept C19165224 @default.
- W2898747740 hasConcept C202444582 @default.
- W2898747740 hasConcept C2777299769 @default.
- W2898747740 hasConcept C33923547 @default.
- W2898747740 hasConcept C41008148 @default.
- W2898747740 hasConcept C64543145 @default.
- W2898747740 hasConcept C86803240 @default.
- W2898747740 hasConcept C92757383 @default.
- W2898747740 hasConceptScore W2898747740C11413529 @default.
- W2898747740 hasConceptScore W2898747740C127413603 @default.
- W2898747740 hasConceptScore W2898747740C136119220 @default.
- W2898747740 hasConceptScore W2898747740C136886441 @default.
- W2898747740 hasConceptScore W2898747740C144024400 @default.
- W2898747740 hasConceptScore W2898747740C146978453 @default.
- W2898747740 hasConceptScore W2898747740C156772000 @default.
- W2898747740 hasConceptScore W2898747740C172252984 @default.
- W2898747740 hasConceptScore W2898747740C18903297 @default.
- W2898747740 hasConceptScore W2898747740C19165224 @default.
- W2898747740 hasConceptScore W2898747740C202444582 @default.
- W2898747740 hasConceptScore W2898747740C2777299769 @default.
- W2898747740 hasConceptScore W2898747740C33923547 @default.
- W2898747740 hasConceptScore W2898747740C41008148 @default.
- W2898747740 hasConceptScore W2898747740C64543145 @default.
- W2898747740 hasConceptScore W2898747740C86803240 @default.
- W2898747740 hasConceptScore W2898747740C92757383 @default.
- W2898747740 hasLocation W28987477401 @default.
- W2898747740 hasOpenAccess W2898747740 @default.
- W2898747740 hasPrimaryLocation W28987477401 @default.
- W2898747740 hasRelatedWork W1527432636 @default.
- W2898747740 hasRelatedWork W1554278997 @default.
- W2898747740 hasRelatedWork W1630373979 @default.
- W2898747740 hasRelatedWork W1981303668 @default.
- W2898747740 hasRelatedWork W2001822718 @default.
- W2898747740 hasRelatedWork W2002689571 @default.
- W2898747740 hasRelatedWork W2028576530 @default.
- W2898747740 hasRelatedWork W2081694512 @default.
- W2898747740 hasRelatedWork W2085670481 @default.
- W2898747740 hasRelatedWork W2288327229 @default.
- W2898747740 hasRelatedWork W2293486267 @default.
- W2898747740 hasRelatedWork W2508102865 @default.
- W2898747740 hasRelatedWork W2760585651 @default.
- W2898747740 hasRelatedWork W2896999751 @default.
- W2898747740 hasRelatedWork W2911865844 @default.
- W2898747740 hasRelatedWork W2911921619 @default.
- W2898747740 hasRelatedWork W2964032597 @default.
- W2898747740 hasRelatedWork W3099560079 @default.
- W2898747740 hasRelatedWork W618258190 @default.
- W2898747740 hasRelatedWork W70544678 @default.
- W2898747740 isParatext "false" @default.
- W2898747740 isRetracted "false" @default.
- W2898747740 magId "2898747740" @default.
- W2898747740 workType "article" @default.