Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035693976> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2035693976 created "2016-06-24" @default.
- W2035693976 creator A5038239605 @default.
- W2035693976 date "2014-07-01" @default.
- W2035693976 modified "2023-09-27" @default.
- W2035693976 title "New Proofs of Important Theorems of Untyped Extensional λ Calculus" @default.
- W2035693976 cites W2064236106 @default.
- W2035693976 cites W2313175711 @default.
- W2035693976 doi "https://doi.org/10.1007/s10559-014-9641-5" @default.
- W2035693976 hasPublicationYear "2014" @default.
- W2035693976 type Work @default.
- W2035693976 sameAs 2035693976 @default.
- W2035693976 citedByCount "0" @default.
- W2035693976 crossrefType "journal-article" @default.
- W2035693976 hasAuthorship W2035693976A5038239605 @default.
- W2035693976 hasConcept C108710211 @default.
- W2035693976 hasConcept C111335779 @default.
- W2035693976 hasConcept C118615104 @default.
- W2035693976 hasConcept C136119220 @default.
- W2035693976 hasConcept C136137745 @default.
- W2035693976 hasConcept C136886441 @default.
- W2035693976 hasConcept C144024400 @default.
- W2035693976 hasConcept C151730666 @default.
- W2035693976 hasConcept C19165224 @default.
- W2035693976 hasConcept C199343813 @default.
- W2035693976 hasConcept C202444582 @default.
- W2035693976 hasConcept C2524010 @default.
- W2035693976 hasConcept C2777686260 @default.
- W2035693976 hasConcept C33923547 @default.
- W2035693976 hasConcept C41008148 @default.
- W2035693976 hasConcept C71924100 @default.
- W2035693976 hasConcept C77928131 @default.
- W2035693976 hasConcept C86803240 @default.
- W2035693976 hasConceptScore W2035693976C108710211 @default.
- W2035693976 hasConceptScore W2035693976C111335779 @default.
- W2035693976 hasConceptScore W2035693976C118615104 @default.
- W2035693976 hasConceptScore W2035693976C136119220 @default.
- W2035693976 hasConceptScore W2035693976C136137745 @default.
- W2035693976 hasConceptScore W2035693976C136886441 @default.
- W2035693976 hasConceptScore W2035693976C144024400 @default.
- W2035693976 hasConceptScore W2035693976C151730666 @default.
- W2035693976 hasConceptScore W2035693976C19165224 @default.
- W2035693976 hasConceptScore W2035693976C199343813 @default.
- W2035693976 hasConceptScore W2035693976C202444582 @default.
- W2035693976 hasConceptScore W2035693976C2524010 @default.
- W2035693976 hasConceptScore W2035693976C2777686260 @default.
- W2035693976 hasConceptScore W2035693976C33923547 @default.
- W2035693976 hasConceptScore W2035693976C41008148 @default.
- W2035693976 hasConceptScore W2035693976C71924100 @default.
- W2035693976 hasConceptScore W2035693976C77928131 @default.
- W2035693976 hasConceptScore W2035693976C86803240 @default.
- W2035693976 hasLocation W20356939761 @default.
- W2035693976 hasOpenAccess W2035693976 @default.
- W2035693976 hasPrimaryLocation W20356939761 @default.
- W2035693976 hasRelatedWork W1528995598 @default.
- W2035693976 hasRelatedWork W1978033969 @default.
- W2035693976 hasRelatedWork W2008844842 @default.
- W2035693976 hasRelatedWork W2022438838 @default.
- W2035693976 hasRelatedWork W2028122054 @default.
- W2035693976 hasRelatedWork W2031805453 @default.
- W2035693976 hasRelatedWork W2031927644 @default.
- W2035693976 hasRelatedWork W2042779906 @default.
- W2035693976 hasRelatedWork W2073877447 @default.
- W2035693976 hasRelatedWork W2122759166 @default.
- W2035693976 hasRelatedWork W2127246914 @default.
- W2035693976 hasRelatedWork W2128776156 @default.
- W2035693976 hasRelatedWork W2143619447 @default.
- W2035693976 hasRelatedWork W216691121 @default.
- W2035693976 hasRelatedWork W2941831908 @default.
- W2035693976 hasRelatedWork W2952799563 @default.
- W2035693976 hasRelatedWork W2958446234 @default.
- W2035693976 hasRelatedWork W31538685 @default.
- W2035693976 hasRelatedWork W7694972 @default.
- W2035693976 hasRelatedWork W2170210800 @default.
- W2035693976 isParatext "false" @default.
- W2035693976 isRetracted "false" @default.
- W2035693976 magId "2035693976" @default.
- W2035693976 workType "article" @default.