FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294580338> ?p ?o ?g. }

• W2294580338 abstract "In this paper we introduce &#x03BB;R: A foundational calculus for sequence processing with regular expression types. Its term language is the lambda calculus extended with sequences of terms and its types are regular expressions over simple types. We provide a flexible notion of subtyping based on the semantic notion of nominal interpretation of a type. Then we prove that types are preserved by reduction (subject reduction), and that there exist no infinite reduction sequences starting at typed terms (strong normalization)." @default.
• W2294580338 created "2016-06-24" @default.
• W2294580338 creator A5009045296 @default.
• W2294580338 creator A5039986302 @default.
• W2294580338 creator A5080230891 @default.
• W2294580338 date "2015-09-01" @default.
• W2294580338 modified "2023-09-23" @default.
• W2294580338 title "Lambda Calculus with Regular Types" @default.
• W2294580338 cites W132294611 @default.
• W2294580338 cites W1557561422 @default.
• W2294580338 cites W1590339273 @default.
• W2294580338 cites W176063453 @default.
• W2294580338 cites W1964070736 @default.
• W2294580338 cites W1988897846 @default.
• W2294580338 cites W1994181029 @default.
• W2294580338 cites W2044758536 @default.
• W2294580338 cites W2048509141 @default.
• W2294580338 cites W2075994573 @default.
• W2294580338 cites W2134112335 @default.
• W2294580338 cites W2141384558 @default.
• W2294580338 cites W2152944474 @default.
• W2294580338 cites W2154273644 @default.
• W2294580338 cites W2166089338 @default.
• W2294580338 cites W2963372585 @default.
• W2294580338 cites W3010782316 @default.
• W2294580338 cites W313669978 @default.
• W2294580338 cites W3181441684 @default.
• W2294580338 cites W3199565109 @default.
• W2294580338 doi "https://doi.org/10.1109/synasc.2015.29" @default.
• W2294580338 hasPublicationYear "2015" @default.
• W2294580338 type Work @default.
• W2294580338 sameAs 2294580338 @default.
• W2294580338 citedByCount "1" @default.
• W2294580338 countsByYear W22945803382016 @default.
• W2294580338 crossrefType "proceedings-article" @default.
• W2294580338 hasAuthorship W2294580338A5009045296 @default.
• W2294580338 hasAuthorship W2294580338A5039986302 @default.
• W2294580338 hasAuthorship W2294580338A5080230891 @default.
• W2294580338 hasConcept C111335779 @default.
• W2294580338 hasConcept C118615104 @default.
• W2294580338 hasConcept C135790938 @default.
• W2294580338 hasConcept C136119220 @default.
• W2294580338 hasConcept C136886441 @default.
• W2294580338 hasConcept C142156749 @default.
• W2294580338 hasConcept C144024400 @default.
• W2294580338 hasConcept C18903297 @default.
• W2294580338 hasConcept C19165224 @default.
• W2294580338 hasConcept C199343813 @default.
• W2294580338 hasConcept C199360897 @default.
• W2294580338 hasConcept C202444582 @default.
• W2294580338 hasConcept C20528804 @default.
• W2294580338 hasConcept C2524010 @default.
• W2294580338 hasConcept C2777299769 @default.
• W2294580338 hasConcept C2777686260 @default.
• W2294580338 hasConcept C33923547 @default.
• W2294580338 hasConcept C41008148 @default.
• W2294580338 hasConcept C61237538 @default.
• W2294580338 hasConcept C71924100 @default.
• W2294580338 hasConcept C77736955 @default.
• W2294580338 hasConcept C83852419 @default.
• W2294580338 hasConcept C86803240 @default.
• W2294580338 hasConceptScore W2294580338C111335779 @default.
• W2294580338 hasConceptScore W2294580338C118615104 @default.
• W2294580338 hasConceptScore W2294580338C135790938 @default.
• W2294580338 hasConceptScore W2294580338C136119220 @default.
• W2294580338 hasConceptScore W2294580338C136886441 @default.
• W2294580338 hasConceptScore W2294580338C142156749 @default.
• W2294580338 hasConceptScore W2294580338C144024400 @default.
• W2294580338 hasConceptScore W2294580338C18903297 @default.
• W2294580338 hasConceptScore W2294580338C19165224 @default.
• W2294580338 hasConceptScore W2294580338C199343813 @default.
• W2294580338 hasConceptScore W2294580338C199360897 @default.
• W2294580338 hasConceptScore W2294580338C202444582 @default.
• W2294580338 hasConceptScore W2294580338C20528804 @default.
• W2294580338 hasConceptScore W2294580338C2524010 @default.
• W2294580338 hasConceptScore W2294580338C2777299769 @default.
• W2294580338 hasConceptScore W2294580338C2777686260 @default.
• W2294580338 hasConceptScore W2294580338C33923547 @default.
• W2294580338 hasConceptScore W2294580338C41008148 @default.
• W2294580338 hasConceptScore W2294580338C61237538 @default.
• W2294580338 hasConceptScore W2294580338C71924100 @default.
• W2294580338 hasConceptScore W2294580338C77736955 @default.
• W2294580338 hasConceptScore W2294580338C83852419 @default.
• W2294580338 hasConceptScore W2294580338C86803240 @default.
• W2294580338 hasLocation W22945803381 @default.
• W2294580338 hasOpenAccess W2294580338 @default.
• W2294580338 hasPrimaryLocation W22945803381 @default.
• W2294580338 hasRelatedWork W1481783499 @default.
• W2294580338 hasRelatedWork W1544708439 @default.
• W2294580338 hasRelatedWork W1558222109 @default.
• W2294580338 hasRelatedWork W1559704064 @default.
• W2294580338 hasRelatedWork W190892432 @default.
• W2294580338 hasRelatedWork W1978047141 @default.
• W2294580338 hasRelatedWork W2001822718 @default.
• W2294580338 hasRelatedWork W2028630528 @default.
• W2294580338 hasRelatedWork W2040202569 @default.
• W2294580338 hasRelatedWork W2127137842 @default.
• W2294580338 hasRelatedWork W2288075471 @default.
• W2294580338 hasRelatedWork W2528339563 @default.
• W2294580338 hasRelatedWork W2951722929 @default.

• next