FRINK Linked Data Fragments server

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

• W1966169317 endingPage "394" @default.
• W1966169317 startingPage "363" @default.
• W1966169317 abstract "Journal Article Reviewing the Classical and the de Bruijn Notation for λ‐calculus and Pure Type Systems Get access Fairouz Kamareddine Fairouz Kamareddine Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 11, Issue 3, 1 June 2001, Pages 363–394, https://doi.org/10.1093/logcom/11.3.363 Published: 01 June 2001" @default.
• W1966169317 created "2016-06-24" @default.
• W1966169317 creator A5031944209 @default.
• W1966169317 date "2001-06-01" @default.
• W1966169317 modified "2023-09-24" @default.
• W1966169317 title "Reviewing the Classical and the de Bruijn Notation for -calculus and Pure Type Systems" @default.
• W1966169317 cites W1527174691 @default.
• W1966169317 cites W1528534845 @default.
• W1966169317 cites W1540171139 @default.
• W1966169317 cites W1572175282 @default.
• W1966169317 cites W1589690886 @default.
• W1966169317 cites W1607953571 @default.
• W1966169317 cites W1986402635 @default.
• W1966169317 cites W1996404651 @default.
• W1966169317 cites W2008868842 @default.
• W1966169317 cites W2017143801 @default.
• W1966169317 cites W2017274604 @default.
• W1966169317 cites W2030663607 @default.
• W1966169317 cites W2037734691 @default.
• W1966169317 cites W2044758536 @default.
• W1966169317 cites W2051685387 @default.
• W1966169317 cites W2055655588 @default.
• W1966169317 cites W2064236106 @default.
• W1966169317 cites W2083014191 @default.
• W1966169317 cites W2087037271 @default.
• W1966169317 cites W2118420900 @default.
• W1966169317 cites W2118527795 @default.
• W1966169317 cites W2155411851 @default.
• W1966169317 cites W2275166338 @default.
• W1966169317 cites W2727420338 @default.
• W1966169317 cites W2793825941 @default.
• W1966169317 cites W3000593863 @default.
• W1966169317 cites W62953528 @default.
• W1966169317 cites W2254333012 @default.
• W1966169317 doi "https://doi.org/10.1093/logcom/11.3.363" @default.
• W1966169317 hasPublicationYear "2001" @default.
• W1966169317 type Work @default.
• W1966169317 sameAs 1966169317 @default.
• W1966169317 citedByCount "12" @default.
• W1966169317 countsByYear W19661693172015 @default.
• W1966169317 countsByYear W19661693172016 @default.
• W1966169317 countsByYear W19661693172023 @default.
• W1966169317 crossrefType "journal-article" @default.
• W1966169317 hasAuthorship W1966169317A5031944209 @default.
• W1966169317 hasConcept C118615104 @default.
• W1966169317 hasConcept C136119220 @default.
• W1966169317 hasConcept C170320093 @default.
• W1966169317 hasConcept C18903297 @default.
• W1966169317 hasConcept C199343813 @default.
• W1966169317 hasConcept C199360897 @default.
• W1966169317 hasConcept C202444582 @default.
• W1966169317 hasConcept C20528804 @default.
• W1966169317 hasConcept C24457124 @default.
• W1966169317 hasConcept C2777299769 @default.
• W1966169317 hasConcept C2777686260 @default.
• W1966169317 hasConcept C32241873 @default.
• W1966169317 hasConcept C33923547 @default.
• W1966169317 hasConcept C41008148 @default.
• W1966169317 hasConcept C45357846 @default.
• W1966169317 hasConcept C62073222 @default.
• W1966169317 hasConcept C71924100 @default.
• W1966169317 hasConcept C86803240 @default.
• W1966169317 hasConcept C94375191 @default.
• W1966169317 hasConceptScore W1966169317C118615104 @default.
• W1966169317 hasConceptScore W1966169317C136119220 @default.
• W1966169317 hasConceptScore W1966169317C170320093 @default.
• W1966169317 hasConceptScore W1966169317C18903297 @default.
• W1966169317 hasConceptScore W1966169317C199343813 @default.
• W1966169317 hasConceptScore W1966169317C199360897 @default.
• W1966169317 hasConceptScore W1966169317C202444582 @default.
• W1966169317 hasConceptScore W1966169317C20528804 @default.
• W1966169317 hasConceptScore W1966169317C24457124 @default.
• W1966169317 hasConceptScore W1966169317C2777299769 @default.
• W1966169317 hasConceptScore W1966169317C2777686260 @default.
• W1966169317 hasConceptScore W1966169317C32241873 @default.
• W1966169317 hasConceptScore W1966169317C33923547 @default.
• W1966169317 hasConceptScore W1966169317C41008148 @default.
• W1966169317 hasConceptScore W1966169317C45357846 @default.
• W1966169317 hasConceptScore W1966169317C62073222 @default.
• W1966169317 hasConceptScore W1966169317C71924100 @default.
• W1966169317 hasConceptScore W1966169317C86803240 @default.
• W1966169317 hasConceptScore W1966169317C94375191 @default.
• W1966169317 hasIssue "3" @default.
• W1966169317 hasLocation W19661693171 @default.
• W1966169317 hasOpenAccess W1966169317 @default.
• W1966169317 hasPrimaryLocation W19661693171 @default.
• W1966169317 hasRelatedWork W133523350 @default.
• W1966169317 hasRelatedWork W1966169317 @default.
• W1966169317 hasRelatedWork W2023056990 @default.
• W1966169317 hasRelatedWork W2029035312 @default.
• W1966169317 hasRelatedWork W2039503680 @default.
• W1966169317 hasRelatedWork W2356786654 @default.
• W1966169317 hasRelatedWork W2536278902 @default.
• W1966169317 hasRelatedWork W4206836878 @default.
• W1966169317 hasRelatedWork W4239350090 @default.
• W1966169317 hasRelatedWork W976372422 @default.
• W1966169317 hasVolume "11" @default.
• W1966169317 isParatext "false" @default.

• next