FRINK Linked Data Fragments server

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

• W1551154663 abstract "The Genericity Lemma is one of the most important motivations to take in the untyped lambda calculus the notion of solvability as a formal representation of the informal notion of undefinedness. We generalise solvability towards typed lambda calculi, and we call this generalisation: usability. We then prove the Genericity Lemma for un-usable terms. The technique of the proof is based on leftmost reduction, which strongly simplifies the standard proof." @default.
• W1551154663 created "2016-06-24" @default.
• W1551154663 creator A5078968488 @default.
• W1551154663 date "1995-01-01" @default.
• W1551154663 modified "2023-09-24" @default.
• W1551154663 title "Proving the genericity lemma by leftmost reduction is simple" @default.
• W1551154663 cites W1602079669 @default.
• W1551154663 doi "https://doi.org/10.1007/3-540-59200-8_63" @default.
• W1551154663 hasPublicationYear "1995" @default.
• W1551154663 type Work @default.
• W1551154663 sameAs 1551154663 @default.
• W1551154663 citedByCount "1" @default.
• W1551154663 crossrefType "book-chapter" @default.
• W1551154663 hasAuthorship W1551154663A5078968488 @default.
• W1551154663 hasConcept C107457646 @default.
• W1551154663 hasConcept C108710211 @default.
• W1551154663 hasConcept C111335779 @default.
• W1551154663 hasConcept C111472728 @default.
• W1551154663 hasConcept C118615104 @default.
• W1551154663 hasConcept C120665830 @default.
• W1551154663 hasConcept C121332964 @default.
• W1551154663 hasConcept C135790938 @default.
• W1551154663 hasConcept C136119220 @default.
• W1551154663 hasConcept C136764020 @default.
• W1551154663 hasConcept C138885662 @default.
• W1551154663 hasConcept C170130773 @default.
• W1551154663 hasConcept C17744445 @default.
• W1551154663 hasConcept C18903297 @default.
• W1551154663 hasConcept C199343813 @default.
• W1551154663 hasConcept C199360897 @default.
• W1551154663 hasConcept C199539241 @default.
• W1551154663 hasConcept C202444582 @default.
• W1551154663 hasConcept C2524010 @default.
• W1551154663 hasConcept C2776359362 @default.
• W1551154663 hasConcept C2777686260 @default.
• W1551154663 hasConcept C2777759810 @default.
• W1551154663 hasConcept C2778113609 @default.
• W1551154663 hasConcept C2780586882 @default.
• W1551154663 hasConcept C2780615836 @default.
• W1551154663 hasConcept C33923547 @default.
• W1551154663 hasConcept C41008148 @default.
• W1551154663 hasConcept C46757340 @default.
• W1551154663 hasConcept C71924100 @default.
• W1551154663 hasConcept C86803240 @default.
• W1551154663 hasConcept C94461902 @default.
• W1551154663 hasConcept C94625758 @default.
• W1551154663 hasConceptScore W1551154663C107457646 @default.
• W1551154663 hasConceptScore W1551154663C108710211 @default.
• W1551154663 hasConceptScore W1551154663C111335779 @default.
• W1551154663 hasConceptScore W1551154663C111472728 @default.
• W1551154663 hasConceptScore W1551154663C118615104 @default.
• W1551154663 hasConceptScore W1551154663C120665830 @default.
• W1551154663 hasConceptScore W1551154663C121332964 @default.
• W1551154663 hasConceptScore W1551154663C135790938 @default.
• W1551154663 hasConceptScore W1551154663C136119220 @default.
• W1551154663 hasConceptScore W1551154663C136764020 @default.
• W1551154663 hasConceptScore W1551154663C138885662 @default.
• W1551154663 hasConceptScore W1551154663C170130773 @default.
• W1551154663 hasConceptScore W1551154663C17744445 @default.
• W1551154663 hasConceptScore W1551154663C18903297 @default.
• W1551154663 hasConceptScore W1551154663C199343813 @default.
• W1551154663 hasConceptScore W1551154663C199360897 @default.
• W1551154663 hasConceptScore W1551154663C199539241 @default.
• W1551154663 hasConceptScore W1551154663C202444582 @default.
• W1551154663 hasConceptScore W1551154663C2524010 @default.
• W1551154663 hasConceptScore W1551154663C2776359362 @default.
• W1551154663 hasConceptScore W1551154663C2777686260 @default.
• W1551154663 hasConceptScore W1551154663C2777759810 @default.
• W1551154663 hasConceptScore W1551154663C2778113609 @default.
• W1551154663 hasConceptScore W1551154663C2780586882 @default.
• W1551154663 hasConceptScore W1551154663C2780615836 @default.
• W1551154663 hasConceptScore W1551154663C33923547 @default.
• W1551154663 hasConceptScore W1551154663C41008148 @default.
• W1551154663 hasConceptScore W1551154663C46757340 @default.
• W1551154663 hasConceptScore W1551154663C71924100 @default.
• W1551154663 hasConceptScore W1551154663C86803240 @default.
• W1551154663 hasConceptScore W1551154663C94461902 @default.
• W1551154663 hasConceptScore W1551154663C94625758 @default.
• W1551154663 hasLocation W15511546631 @default.
• W1551154663 hasOpenAccess W1551154663 @default.
• W1551154663 hasPrimaryLocation W15511546631 @default.
• W1551154663 hasRelatedWork W1212590437 @default.
• W1551154663 hasRelatedWork W1496085154 @default.
• W1551154663 hasRelatedWork W1556311577 @default.
• W1551154663 hasRelatedWork W1558222109 @default.
• W1551154663 hasRelatedWork W1816420085 @default.
• W1551154663 hasRelatedWork W1834844307 @default.
• W1551154663 hasRelatedWork W2028576530 @default.
• W1551154663 hasRelatedWork W2549939666 @default.
• W1551154663 hasRelatedWork W2745305015 @default.
• W1551154663 hasRelatedWork W2791417270 @default.
• W1551154663 hasRelatedWork W2951265876 @default.
• W1551154663 hasRelatedWork W2955709606 @default.
• W1551154663 hasRelatedWork W2957545921 @default.
• W1551154663 hasRelatedWork W2997902268 @default.
• W1551154663 hasRelatedWork W3006681913 @default.
• W1551154663 hasRelatedWork W3013936672 @default.
• W1551154663 hasRelatedWork W3087575110 @default.
• W1551154663 hasRelatedWork W3094236149 @default.
• W1551154663 hasRelatedWork W3105392254 @default.

• next