Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287829550> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4287829550 created "2022-07-26" @default.
- W4287829550 creator A5009942096 @default.
- W4287829550 creator A5010564634 @default.
- W4287829550 creator A5043871432 @default.
- W4287829550 date "2020-03-02" @default.
- W4287829550 modified "2023-10-16" @default.
- W4287829550 title "Dependent Type Theory in Polarised Sequent Calculus (abstract)" @default.
- W4287829550 hasPublicationYear "2020" @default.
- W4287829550 type Work @default.
- W4287829550 citedByCount "0" @default.
- W4287829550 crossrefType "proceedings-article" @default.
- W4287829550 hasAuthorship W4287829550A5009942096 @default.
- W4287829550 hasAuthorship W4287829550A5010564634 @default.
- W4287829550 hasAuthorship W4287829550A5043871432 @default.
- W4287829550 hasBestOaLocation W42878295501 @default.
- W4287829550 hasConcept C108710211 @default.
- W4287829550 hasConcept C111404639 @default.
- W4287829550 hasConcept C11413529 @default.
- W4287829550 hasConcept C118615104 @default.
- W4287829550 hasConcept C136119220 @default.
- W4287829550 hasConcept C18903297 @default.
- W4287829550 hasConcept C199343813 @default.
- W4287829550 hasConcept C202444582 @default.
- W4287829550 hasConcept C2524010 @default.
- W4287829550 hasConcept C2777299769 @default.
- W4287829550 hasConcept C2777686260 @default.
- W4287829550 hasConcept C33923547 @default.
- W4287829550 hasConcept C41008148 @default.
- W4287829550 hasConcept C62073222 @default.
- W4287829550 hasConcept C6489637 @default.
- W4287829550 hasConcept C65880906 @default.
- W4287829550 hasConcept C71924100 @default.
- W4287829550 hasConcept C86803240 @default.
- W4287829550 hasConcept C89421646 @default.
- W4287829550 hasConcept C93682546 @default.
- W4287829550 hasConceptScore W4287829550C108710211 @default.
- W4287829550 hasConceptScore W4287829550C111404639 @default.
- W4287829550 hasConceptScore W4287829550C11413529 @default.
- W4287829550 hasConceptScore W4287829550C118615104 @default.
- W4287829550 hasConceptScore W4287829550C136119220 @default.
- W4287829550 hasConceptScore W4287829550C18903297 @default.
- W4287829550 hasConceptScore W4287829550C199343813 @default.
- W4287829550 hasConceptScore W4287829550C202444582 @default.
- W4287829550 hasConceptScore W4287829550C2524010 @default.
- W4287829550 hasConceptScore W4287829550C2777299769 @default.
- W4287829550 hasConceptScore W4287829550C2777686260 @default.
- W4287829550 hasConceptScore W4287829550C33923547 @default.
- W4287829550 hasConceptScore W4287829550C41008148 @default.
- W4287829550 hasConceptScore W4287829550C62073222 @default.
- W4287829550 hasConceptScore W4287829550C6489637 @default.
- W4287829550 hasConceptScore W4287829550C65880906 @default.
- W4287829550 hasConceptScore W4287829550C71924100 @default.
- W4287829550 hasConceptScore W4287829550C86803240 @default.
- W4287829550 hasConceptScore W4287829550C89421646 @default.
- W4287829550 hasConceptScore W4287829550C93682546 @default.
- W4287829550 hasLocation W42878295501 @default.
- W4287829550 hasLocation W42878295502 @default.
- W4287829550 hasLocation W42878295503 @default.
- W4287829550 hasOpenAccess W4287829550 @default.
- W4287829550 hasPrimaryLocation W42878295501 @default.
- W4287829550 hasRelatedWork W1562648369 @default.
- W4287829550 hasRelatedWork W2023557900 @default.
- W4287829550 hasRelatedWork W2137780954 @default.
- W4287829550 hasRelatedWork W2351433375 @default.
- W4287829550 hasRelatedWork W2513857873 @default.
- W4287829550 hasRelatedWork W3090765541 @default.
- W4287829550 hasRelatedWork W4289719533 @default.
- W4287829550 hasRelatedWork W4295728898 @default.
- W4287829550 hasRelatedWork W4297415804 @default.
- W4287829550 hasRelatedWork W2584381231 @default.
- W4287829550 isParatext "false" @default.
- W4287829550 isRetracted "false" @default.
- W4287829550 workType "article" @default.