Matches in SemOpenAlex for { <https://semopenalex.org/work/W3832022> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3832022 created "2016-06-24" @default.
- W3832022 creator A5018394339 @default.
- W3832022 creator A5078386993 @default.
- W3832022 date "1990-01-01" @default.
- W3832022 modified "2023-09-26" @default.
- W3832022 title "Investigating a proof-theoretic meta-language for functional programs" @default.
- W3832022 hasPublicationYear "1990" @default.
- W3832022 type Work @default.
- W3832022 sameAs 3832022 @default.
- W3832022 citedByCount "16" @default.
- W3832022 countsByYear W38320222020 @default.
- W3832022 countsByYear W38320222021 @default.
- W3832022 crossrefType "journal-article" @default.
- W3832022 hasAuthorship W3832022A5018394339 @default.
- W3832022 hasAuthorship W3832022A5078386993 @default.
- W3832022 hasConcept C111472728 @default.
- W3832022 hasConcept C138885662 @default.
- W3832022 hasConcept C199360897 @default.
- W3832022 hasConcept C204321447 @default.
- W3832022 hasConcept C41008148 @default.
- W3832022 hasConcept C41895202 @default.
- W3832022 hasConceptScore W3832022C111472728 @default.
- W3832022 hasConceptScore W3832022C138885662 @default.
- W3832022 hasConceptScore W3832022C199360897 @default.
- W3832022 hasConceptScore W3832022C204321447 @default.
- W3832022 hasConceptScore W3832022C41008148 @default.
- W3832022 hasConceptScore W3832022C41895202 @default.
- W3832022 hasLocation W38320221 @default.
- W3832022 hasOpenAccess W3832022 @default.
- W3832022 hasPrimaryLocation W38320221 @default.
- W3832022 hasRelatedWork W1523013478 @default.
- W3832022 hasRelatedWork W1537698905 @default.
- W3832022 hasRelatedWork W1550435668 @default.
- W3832022 hasRelatedWork W1556867883 @default.
- W3832022 hasRelatedWork W1574609182 @default.
- W3832022 hasRelatedWork W1588934256 @default.
- W3832022 hasRelatedWork W1829244603 @default.
- W3832022 hasRelatedWork W1974190112 @default.
- W3832022 hasRelatedWork W1996404651 @default.
- W3832022 hasRelatedWork W2009464583 @default.
- W3832022 hasRelatedWork W2034676877 @default.
- W3832022 hasRelatedWork W2037809739 @default.
- W3832022 hasRelatedWork W2062968803 @default.
- W3832022 hasRelatedWork W2075352622 @default.
- W3832022 hasRelatedWork W2076819871 @default.
- W3832022 hasRelatedWork W2093111544 @default.
- W3832022 hasRelatedWork W2118032087 @default.
- W3832022 hasRelatedWork W2163693197 @default.
- W3832022 hasRelatedWork W2914260883 @default.
- W3832022 hasRelatedWork W77859606 @default.
- W3832022 isParatext "false" @default.
- W3832022 isRetracted "false" @default.
- W3832022 magId "3832022" @default.
- W3832022 workType "article" @default.