Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299802308> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4299802308 created "2022-10-03" @default.
- W4299802308 creator A5079191889 @default.
- W4299802308 creator A5084247336 @default.
- W4299802308 date "2018-07-09" @default.
- W4299802308 modified "2023-10-06" @default.
- W4299802308 title "LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic" @default.
- W4299802308 hasPublicationYear "2018" @default.
- W4299802308 type Work @default.
- W4299802308 citedByCount "0" @default.
- W4299802308 crossrefType "proceedings-article" @default.
- W4299802308 hasAuthorship W4299802308A5079191889 @default.
- W4299802308 hasAuthorship W4299802308A5084247336 @default.
- W4299802308 hasBestOaLocation W42998023081 @default.
- W4299802308 hasConcept C11413529 @default.
- W4299802308 hasConcept C131017901 @default.
- W4299802308 hasConcept C157922185 @default.
- W4299802308 hasConcept C199360897 @default.
- W4299802308 hasConcept C2781029818 @default.
- W4299802308 hasConcept C28077239 @default.
- W4299802308 hasConcept C41008148 @default.
- W4299802308 hasConcept C80444323 @default.
- W4299802308 hasConceptScore W4299802308C11413529 @default.
- W4299802308 hasConceptScore W4299802308C131017901 @default.
- W4299802308 hasConceptScore W4299802308C157922185 @default.
- W4299802308 hasConceptScore W4299802308C199360897 @default.
- W4299802308 hasConceptScore W4299802308C2781029818 @default.
- W4299802308 hasConceptScore W4299802308C28077239 @default.
- W4299802308 hasConceptScore W4299802308C41008148 @default.
- W4299802308 hasConceptScore W4299802308C80444323 @default.
- W4299802308 hasLocation W42998023081 @default.
- W4299802308 hasLocation W42998023082 @default.
- W4299802308 hasLocation W42998023083 @default.
- W4299802308 hasLocation W42998023084 @default.
- W4299802308 hasLocation W42998023085 @default.
- W4299802308 hasLocation W42998023086 @default.
- W4299802308 hasOpenAccess W4299802308 @default.
- W4299802308 hasPrimaryLocation W42998023081 @default.
- W4299802308 hasRelatedWork W1966764473 @default.
- W4299802308 hasRelatedWork W1977171228 @default.
- W4299802308 hasRelatedWork W1985308002 @default.
- W4299802308 hasRelatedWork W1988523697 @default.
- W4299802308 hasRelatedWork W2056896932 @default.
- W4299802308 hasRelatedWork W2098419840 @default.
- W4299802308 hasRelatedWork W2121963733 @default.
- W4299802308 hasRelatedWork W2170504327 @default.
- W4299802308 hasRelatedWork W2789349722 @default.
- W4299802308 hasRelatedWork W4281558578 @default.
- W4299802308 isParatext "false" @default.
- W4299802308 isRetracted "false" @default.
- W4299802308 workType "article" @default.