FRINK Linked Data Fragments server

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

• W1506082922 abstract "We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is necessary)." @default.
• W1506082922 created "2016-06-24" @default.
• W1506082922 creator A5003227005 @default.
• W1506082922 creator A5022313675 @default.
• W1506082922 date "2013-05-25" @default.
• W1506082922 modified "2023-10-06" @default.
• W1506082922 title "Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness" @default.
• W1506082922 cites W1492647052 @default.
• W1506082922 cites W1608879454 @default.
• W1506082922 cites W1988292549 @default.
• W1506082922 cites W1993890055 @default.
• W1506082922 cites W1994196565 @default.
• W1506082922 cites W2006953755 @default.
• W1506082922 cites W2012648649 @default.
• W1506082922 cites W2017115013 @default.
• W1506082922 cites W2020095493 @default.
• W1506082922 cites W2060305077 @default.
• W1506082922 cites W2068358250 @default.
• W1506082922 cites W2093397547 @default.
• W1506082922 cites W2098938409 @default.
• W1506082922 cites W2108640219 @default.
• W1506082922 cites W2120713972 @default.
• W1506082922 cites W2123058261 @default.
• W1506082922 cites W2127052734 @default.
• W1506082922 cites W2144927799 @default.
• W1506082922 cites W2157450565 @default.
• W1506082922 cites W3133088634 @default.
• W1506082922 hasPublicationYear "2013" @default.
• W1506082922 type Work @default.
• W1506082922 sameAs 1506082922 @default.
• W1506082922 citedByCount "1" @default.
• W1506082922 countsByYear W15060829222018 @default.
• W1506082922 crossrefType "posted-content" @default.
• W1506082922 hasAuthorship W1506082922A5003227005 @default.
• W1506082922 hasAuthorship W1506082922A5022313675 @default.
• W1506082922 hasConcept C114614502 @default.
• W1506082922 hasConcept C118615104 @default.
• W1506082922 hasConcept C120665830 @default.
• W1506082922 hasConcept C121332964 @default.
• W1506082922 hasConcept C134306372 @default.
• W1506082922 hasConcept C135790938 @default.
• W1506082922 hasConcept C136119220 @default.
• W1506082922 hasConcept C142156749 @default.
• W1506082922 hasConcept C17231256 @default.
• W1506082922 hasConcept C184720557 @default.
• W1506082922 hasConcept C199343813 @default.
• W1506082922 hasConcept C200116569 @default.
• W1506082922 hasConcept C202444582 @default.
• W1506082922 hasConcept C2777686260 @default.
• W1506082922 hasConcept C2778023678 @default.
• W1506082922 hasConcept C2778113609 @default.
• W1506082922 hasConcept C33923547 @default.
• W1506082922 hasConcept C61237538 @default.
• W1506082922 hasConcept C71924100 @default.
• W1506082922 hasConcept C77736955 @default.
• W1506082922 hasConceptScore W1506082922C114614502 @default.
• W1506082922 hasConceptScore W1506082922C118615104 @default.
• W1506082922 hasConceptScore W1506082922C120665830 @default.
• W1506082922 hasConceptScore W1506082922C121332964 @default.
• W1506082922 hasConceptScore W1506082922C134306372 @default.
• W1506082922 hasConceptScore W1506082922C135790938 @default.
• W1506082922 hasConceptScore W1506082922C136119220 @default.
• W1506082922 hasConceptScore W1506082922C142156749 @default.
• W1506082922 hasConceptScore W1506082922C17231256 @default.
• W1506082922 hasConceptScore W1506082922C184720557 @default.
• W1506082922 hasConceptScore W1506082922C199343813 @default.
• W1506082922 hasConceptScore W1506082922C200116569 @default.
• W1506082922 hasConceptScore W1506082922C202444582 @default.
• W1506082922 hasConceptScore W1506082922C2777686260 @default.
• W1506082922 hasConceptScore W1506082922C2778023678 @default.
• W1506082922 hasConceptScore W1506082922C2778113609 @default.
• W1506082922 hasConceptScore W1506082922C33923547 @default.
• W1506082922 hasConceptScore W1506082922C61237538 @default.
• W1506082922 hasConceptScore W1506082922C71924100 @default.
• W1506082922 hasConceptScore W1506082922C77736955 @default.
• W1506082922 hasLocation W15060829221 @default.
• W1506082922 hasOpenAccess W1506082922 @default.
• W1506082922 hasPrimaryLocation W15060829221 @default.
• W1506082922 hasRelatedWork W1487757690 @default.
• W1506082922 hasRelatedWork W1495260436 @default.
• W1506082922 hasRelatedWork W1515829561 @default.
• W1506082922 hasRelatedWork W1529173292 @default.
• W1506082922 hasRelatedWork W1816420085 @default.
• W1506082922 hasRelatedWork W1819331349 @default.
• W1506082922 hasRelatedWork W1834844307 @default.
• W1506082922 hasRelatedWork W1987185889 @default.
• W1506082922 hasRelatedWork W2040202569 @default.
• W1506082922 hasRelatedWork W2055962247 @default.
• W1506082922 hasRelatedWork W2063043413 @default.
• W1506082922 hasRelatedWork W2084539672 @default.
• W1506082922 hasRelatedWork W2157450565 @default.
• W1506082922 hasRelatedWork W2949663534 @default.
• W1506082922 hasRelatedWork W2953127448 @default.
• W1506082922 hasRelatedWork W2957545921 @default.
• W1506082922 hasRelatedWork W2997902268 @default.
• W1506082922 hasRelatedWork W3006681913 @default.
• W1506082922 hasRelatedWork W3105392254 @default.
• W1506082922 hasRelatedWork W3127819669 @default.
• W1506082922 isParatext "false" @default.
• W1506082922 isRetracted "false" @default.

• next