Matches in SemOpenAlex for { <https://semopenalex.org/concept/C55128367> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- C55128367 created "2016-06-24" @default.
- C55128367 modified "2023-10-18" @default.
- C55128367 type Concept @default.
- C55128367 seeAlso "https://en.wikipedia.org/wiki/System%20F" @default.
- C55128367 sameAs Q2552799 @default.
- C55128367 sameAs 55128367 @default.
- C55128367 broader C118615104 @default.
- C55128367 broader C135790938 @default.
- C55128367 broader C199360897 @default.
- C55128367 broader C33923547 @default.
- C55128367 broader C41008148 @default.
- C55128367 inScheme concepts @default.
- C55128367 note "typed lambda calculus" @default.
- C55128367 prefLabel "System F" @default.
- C55128367 related C135790938 @default.
- C55128367 related C142156749 @default.
- C55128367 related C159333733 @default.
- C55128367 related C173856430 @default.
- C55128367 related C198370458 @default.
- C55128367 related C199360897 @default.
- C55128367 related C20528804 @default.
- C55128367 related C20693621 @default.
- C55128367 related C42383842 @default.
- C55128367 related C61237538 @default.
- C55128367 related C83852419 @default.
- C55128367 related C85343465 @default.
- C55128367 related C93682546 @default.
- C55128367 citedByCount "11830" @default.
- C55128367 countsByYear C551283672012 @default.
- C55128367 countsByYear C551283672013 @default.
- C55128367 countsByYear C551283672014 @default.
- C55128367 countsByYear C551283672015 @default.
- C55128367 countsByYear C551283672016 @default.
- C55128367 countsByYear C551283672017 @default.
- C55128367 countsByYear C551283672018 @default.
- C55128367 countsByYear C551283672019 @default.
- C55128367 countsByYear C551283672020 @default.
- C55128367 countsByYear C551283672021 @default.
- C55128367 countsByYear C551283672022 @default.
- C55128367 countsByYear C551283672023 @default.
- C55128367 level "3" @default.
- C55128367 magId "55128367" @default.
- C55128367 worksCount "755" @default.