Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952667964> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2952667964 abstract "We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete." @default.
- W2952667964 created "2019-06-27" @default.
- W2952667964 creator A5036921589 @default.
- W2952667964 creator A5086707385 @default.
- W2952667964 date "2003-05-15" @default.
- W2952667964 modified "2023-09-27" @default.
- W2952667964 title "Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic" @default.
- W2952667964 cites W165928890 @default.
- W2952667964 cites W1964235541 @default.
- W2952667964 cites W2016065322 @default.
- W2952667964 cites W2103362760 @default.
- W2952667964 cites W2116114849 @default.
- W2952667964 cites W133177166 @default.
- W2952667964 hasPublicationYear "2003" @default.
- W2952667964 type Work @default.
- W2952667964 sameAs 2952667964 @default.
- W2952667964 citedByCount "0" @default.
- W2952667964 crossrefType "posted-content" @default.
- W2952667964 hasAuthorship W2952667964A5036921589 @default.
- W2952667964 hasAuthorship W2952667964A5086707385 @default.
- W2952667964 hasConcept C111335779 @default.
- W2952667964 hasConcept C11413529 @default.
- W2952667964 hasConcept C154945302 @default.
- W2952667964 hasConcept C18903297 @default.
- W2952667964 hasConcept C198370458 @default.
- W2952667964 hasConcept C202444582 @default.
- W2952667964 hasConcept C2524010 @default.
- W2952667964 hasConcept C2776214188 @default.
- W2952667964 hasConcept C2777299769 @default.
- W2952667964 hasConcept C33923547 @default.
- W2952667964 hasConcept C41008148 @default.
- W2952667964 hasConcept C86803240 @default.
- W2952667964 hasConcept C92757383 @default.
- W2952667964 hasConceptScore W2952667964C111335779 @default.
- W2952667964 hasConceptScore W2952667964C11413529 @default.
- W2952667964 hasConceptScore W2952667964C154945302 @default.
- W2952667964 hasConceptScore W2952667964C18903297 @default.
- W2952667964 hasConceptScore W2952667964C198370458 @default.
- W2952667964 hasConceptScore W2952667964C202444582 @default.
- W2952667964 hasConceptScore W2952667964C2524010 @default.
- W2952667964 hasConceptScore W2952667964C2776214188 @default.
- W2952667964 hasConceptScore W2952667964C2777299769 @default.
- W2952667964 hasConceptScore W2952667964C33923547 @default.
- W2952667964 hasConceptScore W2952667964C41008148 @default.
- W2952667964 hasConceptScore W2952667964C86803240 @default.
- W2952667964 hasConceptScore W2952667964C92757383 @default.
- W2952667964 hasLocation W29526679641 @default.
- W2952667964 hasOpenAccess W2952667964 @default.
- W2952667964 hasPrimaryLocation W29526679641 @default.
- W2952667964 hasRelatedWork W1871628273 @default.
- W2952667964 hasRelatedWork W1971432514 @default.
- W2952667964 hasRelatedWork W1971659206 @default.
- W2952667964 hasRelatedWork W1972596510 @default.
- W2952667964 hasRelatedWork W2005133368 @default.
- W2952667964 hasRelatedWork W2034597127 @default.
- W2952667964 hasRelatedWork W2044636783 @default.
- W2952667964 hasRelatedWork W2126665765 @default.
- W2952667964 hasRelatedWork W2126774253 @default.
- W2952667964 hasRelatedWork W2349549091 @default.
- W2952667964 hasRelatedWork W2352462417 @default.
- W2952667964 hasRelatedWork W2367725242 @default.
- W2952667964 hasRelatedWork W2369607823 @default.
- W2952667964 hasRelatedWork W2370832947 @default.
- W2952667964 hasRelatedWork W2551090992 @default.
- W2952667964 hasRelatedWork W2557632260 @default.
- W2952667964 hasRelatedWork W2783517978 @default.
- W2952667964 hasRelatedWork W3099205153 @default.
- W2952667964 hasRelatedWork W340470818 @default.
- W2952667964 hasRelatedWork W2819512896 @default.
- W2952667964 isParatext "false" @default.
- W2952667964 isRetracted "false" @default.
- W2952667964 magId "2952667964" @default.
- W2952667964 workType "article" @default.