Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945378614> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2945378614 created "2019-05-29" @default.
- W2945378614 creator A5037611586 @default.
- W2945378614 date "1994-01-01" @default.
- W2945378614 modified "2023-09-27" @default.
- W2945378614 title "Type theory and the external logic of programs" @default.
- W2945378614 hasPublicationYear "1994" @default.
- W2945378614 type Work @default.
- W2945378614 sameAs 2945378614 @default.
- W2945378614 citedByCount "0" @default.
- W2945378614 crossrefType "journal-article" @default.
- W2945378614 hasAuthorship W2945378614A5037611586 @default.
- W2945378614 hasConcept C41008148 @default.
- W2945378614 hasConceptScore W2945378614C41008148 @default.
- W2945378614 hasLocation W29453786141 @default.
- W2945378614 hasOpenAccess W2945378614 @default.
- W2945378614 hasPrimaryLocation W29453786141 @default.
- W2945378614 hasRelatedWork W1479715087 @default.
- W2945378614 hasRelatedWork W1503791035 @default.
- W2945378614 hasRelatedWork W1565261972 @default.
- W2945378614 hasRelatedWork W1572660243 @default.
- W2945378614 hasRelatedWork W1585597608 @default.
- W2945378614 hasRelatedWork W1605195718 @default.
- W2945378614 hasRelatedWork W1893511905 @default.
- W2945378614 hasRelatedWork W19957210 @default.
- W2945378614 hasRelatedWork W2042136357 @default.
- W2945378614 hasRelatedWork W2097706804 @default.
- W2945378614 hasRelatedWork W2172633566 @default.
- W2945378614 hasRelatedWork W2482992533 @default.
- W2945378614 hasRelatedWork W2496301585 @default.
- W2945378614 hasRelatedWork W3013385459 @default.
- W2945378614 hasRelatedWork W3013668771 @default.
- W2945378614 hasRelatedWork W74082275 @default.
- W2945378614 hasRelatedWork W77276512 @default.
- W2945378614 hasRelatedWork W82600474 @default.
- W2945378614 hasRelatedWork W1866499192 @default.
- W2945378614 hasRelatedWork W67370669 @default.
- W2945378614 isParatext "false" @default.
- W2945378614 isRetracted "false" @default.
- W2945378614 magId "2945378614" @default.
- W2945378614 workType "article" @default.