FRINK Linked Data Fragments server

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

• W3100695210 endingPage "781" @default.
• W3100695210 startingPage "762" @default.
• W3100695210 abstract "Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of fundamental results in the semantics of the lambda calculus are given." @default.
• W3100695210 created "2020-11-23" @default.
• W3100695210 creator A5014002496 @default.
• W3100695210 date "2015-07-13" @default.
• W3100695210 modified "2023-10-16" @default.
• W3100695210 title "Classical lambda calculus in modern dress" @default.
• W3100695210 cites W123923308 @default.
• W3100695210 cites W1581049135 @default.
• W3100695210 cites W1989039217 @default.
• W3100695210 cites W2012474994 @default.
• W3100695210 cites W2036605992 @default.
• W3100695210 cites W2060305077 @default.
• W3100695210 cites W2088376608 @default.
• W3100695210 cites W2123887510 @default.
• W3100695210 cites W2143014812 @default.
• W3100695210 cites W217388287 @default.
• W3100695210 cites W2388408070 @default.
• W3100695210 cites W4234881445 @default.
• W3100695210 doi "https://doi.org/10.1017/s0960129515000377" @default.
• W3100695210 hasPublicationYear "2015" @default.
• W3100695210 type Work @default.
• W3100695210 sameAs 3100695210 @default.
• W3100695210 citedByCount "13" @default.
• W3100695210 countsByYear W31006952102015 @default.
• W3100695210 countsByYear W31006952102017 @default.
• W3100695210 countsByYear W31006952102018 @default.
• W3100695210 countsByYear W31006952102019 @default.
• W3100695210 countsByYear W31006952102020 @default.
• W3100695210 countsByYear W31006952102021 @default.
• W3100695210 countsByYear W31006952102022 @default.
• W3100695210 countsByYear W31006952102023 @default.
• W3100695210 crossrefType "journal-article" @default.
• W3100695210 hasAuthorship W3100695210A5014002496 @default.
• W3100695210 hasBestOaLocation W31006952102 @default.
• W3100695210 hasConcept C105795698 @default.
• W3100695210 hasConcept C108710211 @default.
• W3100695210 hasConcept C111472728 @default.
• W3100695210 hasConcept C118615104 @default.
• W3100695210 hasConcept C135790938 @default.
• W3100695210 hasConcept C136119220 @default.
• W3100695210 hasConcept C138885662 @default.
• W3100695210 hasConcept C142156749 @default.
• W3100695210 hasConcept C199343813 @default.
• W3100695210 hasConcept C199360897 @default.
• W3100695210 hasConcept C202444582 @default.
• W3100695210 hasConcept C2524010 @default.
• W3100695210 hasConcept C2777686260 @default.
• W3100695210 hasConcept C2780069185 @default.
• W3100695210 hasConcept C2780586882 @default.
• W3100695210 hasConcept C33923547 @default.
• W3100695210 hasConcept C41008148 @default.
• W3100695210 hasConcept C5274069 @default.
• W3100695210 hasConcept C527412718 @default.
• W3100695210 hasConcept C55128367 @default.
• W3100695210 hasConcept C61237538 @default.
• W3100695210 hasConcept C62073222 @default.
• W3100695210 hasConcept C71924100 @default.
• W3100695210 hasConcept C77736955 @default.
• W3100695210 hasConcept C85343465 @default.
• W3100695210 hasConceptScore W3100695210C105795698 @default.
• W3100695210 hasConceptScore W3100695210C108710211 @default.
• W3100695210 hasConceptScore W3100695210C111472728 @default.
• W3100695210 hasConceptScore W3100695210C118615104 @default.
• W3100695210 hasConceptScore W3100695210C135790938 @default.
• W3100695210 hasConceptScore W3100695210C136119220 @default.
• W3100695210 hasConceptScore W3100695210C138885662 @default.
• W3100695210 hasConceptScore W3100695210C142156749 @default.
• W3100695210 hasConceptScore W3100695210C199343813 @default.
• W3100695210 hasConceptScore W3100695210C199360897 @default.
• W3100695210 hasConceptScore W3100695210C202444582 @default.
• W3100695210 hasConceptScore W3100695210C2524010 @default.
• W3100695210 hasConceptScore W3100695210C2777686260 @default.
• W3100695210 hasConceptScore W3100695210C2780069185 @default.
• W3100695210 hasConceptScore W3100695210C2780586882 @default.
• W3100695210 hasConceptScore W3100695210C33923547 @default.
• W3100695210 hasConceptScore W3100695210C41008148 @default.
• W3100695210 hasConceptScore W3100695210C5274069 @default.
• W3100695210 hasConceptScore W3100695210C527412718 @default.
• W3100695210 hasConceptScore W3100695210C55128367 @default.
• W3100695210 hasConceptScore W3100695210C61237538 @default.
• W3100695210 hasConceptScore W3100695210C62073222 @default.
• W3100695210 hasConceptScore W3100695210C71924100 @default.
• W3100695210 hasConceptScore W3100695210C77736955 @default.
• W3100695210 hasConceptScore W3100695210C85343465 @default.
• W3100695210 hasIssue "5" @default.
• W3100695210 hasLocation W31006952101 @default.
• W3100695210 hasLocation W31006952102 @default.
• W3100695210 hasLocation W31006952103 @default.
• W3100695210 hasOpenAccess W3100695210 @default.
• W3100695210 hasPrimaryLocation W31006952101 @default.
• W3100695210 hasRelatedWork W114844303 @default.
• W3100695210 hasRelatedWork W2005924676 @default.
• W3100695210 hasRelatedWork W2276378996 @default.
• W3100695210 hasRelatedWork W2285424334 @default.
• W3100695210 hasRelatedWork W2611727672 @default.
• W3100695210 hasRelatedWork W3003639979 @default.
• W3100695210 hasRelatedWork W32986836 @default.
• W3100695210 hasRelatedWork W4230977852 @default.

• next