Matches in SemOpenAlex for { <https://semopenalex.org/work/W4224990310> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4224990310 abstract "In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system, terms typed by non-idempotent intersections with terms typed in the affine and linear type systems and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. Finally, we show how idempotent intersection is related with the contraction rule, commutative intersection with the exchange rule and associative intersection with the lack of structural rules in a type system." @default.
- W4224990310 created "2022-04-28" @default.
- W4224990310 creator A5009045296 @default.
- W4224990310 creator A5061337372 @default.
- W4224990310 date "2022-04-26" @default.
- W4224990310 modified "2023-09-23" @default.
- W4224990310 title "Structural Rules and Algebraic Properties of Intersection Types" @default.
- W4224990310 doi "https://doi.org/10.48550/arxiv.2204.12376" @default.
- W4224990310 hasPublicationYear "2022" @default.
- W4224990310 type Work @default.
- W4224990310 citedByCount "0" @default.
- W4224990310 crossrefType "posted-content" @default.
- W4224990310 hasAuthorship W4224990310A5009045296 @default.
- W4224990310 hasAuthorship W4224990310A5061337372 @default.
- W4224990310 hasBestOaLocation W42249903101 @default.
- W4224990310 hasConcept C121332964 @default.
- W4224990310 hasConcept C127413603 @default.
- W4224990310 hasConcept C134306372 @default.
- W4224990310 hasConcept C136119220 @default.
- W4224990310 hasConcept C146978453 @default.
- W4224990310 hasConcept C159423971 @default.
- W4224990310 hasConcept C172252984 @default.
- W4224990310 hasConcept C183778304 @default.
- W4224990310 hasConcept C18903297 @default.
- W4224990310 hasConcept C202444582 @default.
- W4224990310 hasConcept C2777299769 @default.
- W4224990310 hasConcept C33923547 @default.
- W4224990310 hasConcept C61797465 @default.
- W4224990310 hasConcept C62520636 @default.
- W4224990310 hasConcept C64543145 @default.
- W4224990310 hasConcept C86803240 @default.
- W4224990310 hasConcept C92757383 @default.
- W4224990310 hasConcept C9376300 @default.
- W4224990310 hasConceptScore W4224990310C121332964 @default.
- W4224990310 hasConceptScore W4224990310C127413603 @default.
- W4224990310 hasConceptScore W4224990310C134306372 @default.
- W4224990310 hasConceptScore W4224990310C136119220 @default.
- W4224990310 hasConceptScore W4224990310C146978453 @default.
- W4224990310 hasConceptScore W4224990310C159423971 @default.
- W4224990310 hasConceptScore W4224990310C172252984 @default.
- W4224990310 hasConceptScore W4224990310C183778304 @default.
- W4224990310 hasConceptScore W4224990310C18903297 @default.
- W4224990310 hasConceptScore W4224990310C202444582 @default.
- W4224990310 hasConceptScore W4224990310C2777299769 @default.
- W4224990310 hasConceptScore W4224990310C33923547 @default.
- W4224990310 hasConceptScore W4224990310C61797465 @default.
- W4224990310 hasConceptScore W4224990310C62520636 @default.
- W4224990310 hasConceptScore W4224990310C64543145 @default.
- W4224990310 hasConceptScore W4224990310C86803240 @default.
- W4224990310 hasConceptScore W4224990310C92757383 @default.
- W4224990310 hasConceptScore W4224990310C9376300 @default.
- W4224990310 hasLocation W42249903101 @default.
- W4224990310 hasOpenAccess W4224990310 @default.
- W4224990310 hasPrimaryLocation W42249903101 @default.
- W4224990310 hasRelatedWork W1985218657 @default.
- W4224990310 hasRelatedWork W2026323096 @default.
- W4224990310 hasRelatedWork W2038106543 @default.
- W4224990310 hasRelatedWork W2043897844 @default.
- W4224990310 hasRelatedWork W207144098 @default.
- W4224990310 hasRelatedWork W2107434903 @default.
- W4224990310 hasRelatedWork W3214248392 @default.
- W4224990310 hasRelatedWork W4240924475 @default.
- W4224990310 hasRelatedWork W4287547827 @default.
- W4224990310 hasRelatedWork W89996766 @default.
- W4224990310 isParatext "false" @default.
- W4224990310 isRetracted "false" @default.
- W4224990310 workType "article" @default.