FRINK Linked Data Fragments server

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

• W1498388520 endingPage "312" @default.
• W1498388520 startingPage "298" @default.
• W1498388520 abstract "Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first-order axioms (λ-models), or as reflexive objects in cartesian closed categories (categorical models). In this paper we show that any categorical model of λ-calculus can be presented as a λ-model, even when the underlying category does not have enough points. We provide an example of an extensional model of λ-calculus in a category of sets and relations which has not enough points. Finally, we present some of its algebraic properties which make it suitable for dealing with non-deterministic extensions of λ-calculus." @default.
• W1498388520 created "2016-06-24" @default.
• W1498388520 creator A5006888140 @default.
• W1498388520 creator A5058216930 @default.
• W1498388520 creator A5058911479 @default.
• W1498388520 date "2007-08-24" @default.
• W1498388520 modified "2023-10-16" @default.
• W1498388520 title "Not Enough Points Is Enough" @default.
• W1498388520 cites W1513662453 @default.
• W1498388520 cites W1540909559 @default.
• W1498388520 cites W1547926009 @default.
• W1498388520 cites W1602845050 @default.
• W1498388520 cites W1965630431 @default.
• W1498388520 cites W1967121513 @default.
• W1498388520 cites W1972921902 @default.
• W1498388520 cites W1974315746 @default.
• W1498388520 cites W1978840985 @default.
• W1498388520 cites W2004553747 @default.
• W1498388520 cites W2036605992 @default.
• W1498388520 cites W2049362364 @default.
• W1498388520 cites W2050289409 @default.
• W1498388520 cites W2060305077 @default.
• W1498388520 cites W2072497723 @default.
• W1498388520 cites W2087185080 @default.
• W1498388520 cites W2094079428 @default.
• W1498388520 cites W2165446401 @default.
• W1498388520 cites W4243711577 @default.
• W1498388520 doi "https://doi.org/10.1007/978-3-540-74915-8_24" @default.
• W1498388520 hasPublicationYear "2007" @default.
• W1498388520 type Work @default.
• W1498388520 sameAs 1498388520 @default.
• W1498388520 citedByCount "39" @default.
• W1498388520 countsByYear W14983885202012 @default.
• W1498388520 countsByYear W14983885202013 @default.
• W1498388520 countsByYear W14983885202014 @default.
• W1498388520 countsByYear W14983885202015 @default.
• W1498388520 countsByYear W14983885202016 @default.
• W1498388520 countsByYear W14983885202017 @default.
• W1498388520 countsByYear W14983885202021 @default.
• W1498388520 countsByYear W14983885202023 @default.
• W1498388520 crossrefType "book-chapter" @default.
• W1498388520 hasAuthorship W1498388520A5006888140 @default.
• W1498388520 hasAuthorship W1498388520A5058216930 @default.
• W1498388520 hasAuthorship W1498388520A5058911479 @default.
• W1498388520 hasBestOaLocation W14983885201 @default.
• W1498388520 hasConcept C100481476 @default.
• W1498388520 hasConcept C118615104 @default.
• W1498388520 hasConcept C119857082 @default.
• W1498388520 hasConcept C136119220 @default.
• W1498388520 hasConcept C136137745 @default.
• W1498388520 hasConcept C151730666 @default.
• W1498388520 hasConcept C167729594 @default.
• W1498388520 hasConcept C171032842 @default.
• W1498388520 hasConcept C199343813 @default.
• W1498388520 hasConcept C199360897 @default.
• W1498388520 hasConcept C202444582 @default.
• W1498388520 hasConcept C2524010 @default.
• W1498388520 hasConcept C2777686260 @default.
• W1498388520 hasConcept C33923547 @default.
• W1498388520 hasConcept C41008148 @default.
• W1498388520 hasConcept C5274069 @default.
• W1498388520 hasConcept C71924100 @default.
• W1498388520 hasConcept C77928131 @default.
• W1498388520 hasConcept C86803240 @default.
• W1498388520 hasConceptScore W1498388520C100481476 @default.
• W1498388520 hasConceptScore W1498388520C118615104 @default.
• W1498388520 hasConceptScore W1498388520C119857082 @default.
• W1498388520 hasConceptScore W1498388520C136119220 @default.
• W1498388520 hasConceptScore W1498388520C136137745 @default.
• W1498388520 hasConceptScore W1498388520C151730666 @default.
• W1498388520 hasConceptScore W1498388520C167729594 @default.
• W1498388520 hasConceptScore W1498388520C171032842 @default.
• W1498388520 hasConceptScore W1498388520C199343813 @default.
• W1498388520 hasConceptScore W1498388520C199360897 @default.
• W1498388520 hasConceptScore W1498388520C202444582 @default.
• W1498388520 hasConceptScore W1498388520C2524010 @default.
• W1498388520 hasConceptScore W1498388520C2777686260 @default.
• W1498388520 hasConceptScore W1498388520C33923547 @default.
• W1498388520 hasConceptScore W1498388520C41008148 @default.
• W1498388520 hasConceptScore W1498388520C5274069 @default.
• W1498388520 hasConceptScore W1498388520C71924100 @default.
• W1498388520 hasConceptScore W1498388520C77928131 @default.
• W1498388520 hasConceptScore W1498388520C86803240 @default.
• W1498388520 hasLocation W14983885201 @default.
• W1498388520 hasLocation W14983885202 @default.
• W1498388520 hasLocation W14983885203 @default.
• W1498388520 hasLocation W14983885204 @default.
• W1498388520 hasLocation W14983885205 @default.
• W1498388520 hasOpenAccess W1498388520 @default.
• W1498388520 hasPrimaryLocation W14983885201 @default.
• W1498388520 hasRelatedWork W1562388578 @default.
• W1498388520 hasRelatedWork W1598333446 @default.
• W1498388520 hasRelatedWork W2145947913 @default.
• W1498388520 hasRelatedWork W2560646951 @default.
• W1498388520 hasRelatedWork W2773208253 @default.
• W1498388520 hasRelatedWork W3104964042 @default.
• W1498388520 hasRelatedWork W3181754520 @default.
• W1498388520 hasRelatedWork W4252559877 @default.

• next