Matches in SemOpenAlex for { <https://semopenalex.org/work/W2905232577> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2905232577 abstract "This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andrew M. Pitts, Decomposing the Univalence Axiom, 3rd International Conference on Types for Proofs and Programs (TYPES 2017)" @default.
- W2905232577 created "2018-12-22" @default.
- W2905232577 creator A5035484728 @default.
- W2905232577 creator A5036235093 @default.
- W2905232577 date "2018-07-04" @default.
- W2905232577 modified "2023-09-27" @default.
- W2905232577 title "Code supporting Decomposing the Univalence Axiom" @default.
- W2905232577 doi "https://doi.org/10.17863/cam.25036" @default.
- W2905232577 hasPublicationYear "2018" @default.
- W2905232577 type Work @default.
- W2905232577 sameAs 2905232577 @default.
- W2905232577 citedByCount "0" @default.
- W2905232577 crossrefType "dataset" @default.
- W2905232577 hasAuthorship W2905232577A5035484728 @default.
- W2905232577 hasAuthorship W2905232577A5036235093 @default.
- W2905232577 hasConcept C108710211 @default.
- W2905232577 hasConcept C167729594 @default.
- W2905232577 hasConcept C177264268 @default.
- W2905232577 hasConcept C199360897 @default.
- W2905232577 hasConcept C2524010 @default.
- W2905232577 hasConcept C2776760102 @default.
- W2905232577 hasConcept C33923547 @default.
- W2905232577 hasConcept C41008148 @default.
- W2905232577 hasConceptScore W2905232577C108710211 @default.
- W2905232577 hasConceptScore W2905232577C167729594 @default.
- W2905232577 hasConceptScore W2905232577C177264268 @default.
- W2905232577 hasConceptScore W2905232577C199360897 @default.
- W2905232577 hasConceptScore W2905232577C2524010 @default.
- W2905232577 hasConceptScore W2905232577C2776760102 @default.
- W2905232577 hasConceptScore W2905232577C33923547 @default.
- W2905232577 hasConceptScore W2905232577C41008148 @default.
- W2905232577 hasLocation W29052325771 @default.
- W2905232577 hasOpenAccess W2905232577 @default.
- W2905232577 hasPrimaryLocation W29052325771 @default.
- W2905232577 hasRelatedWork W1021082056 @default.
- W2905232577 hasRelatedWork W1979307985 @default.
- W2905232577 hasRelatedWork W205473070 @default.
- W2905232577 hasRelatedWork W2056100909 @default.
- W2905232577 hasRelatedWork W2089472503 @default.
- W2905232577 hasRelatedWork W2159668742 @default.
- W2905232577 hasRelatedWork W2160254234 @default.
- W2905232577 hasRelatedWork W2179727372 @default.
- W2905232577 hasRelatedWork W2225409823 @default.
- W2905232577 hasRelatedWork W2254194741 @default.
- W2905232577 hasRelatedWork W2489225568 @default.
- W2905232577 hasRelatedWork W2549272425 @default.
- W2905232577 hasRelatedWork W2571898876 @default.
- W2905232577 hasRelatedWork W2983206089 @default.
- W2905232577 hasRelatedWork W436867953 @default.
- W2905232577 hasRelatedWork W564651247 @default.
- W2905232577 hasRelatedWork W580107462 @default.
- W2905232577 hasRelatedWork W613574867 @default.
- W2905232577 hasRelatedWork W645433935 @default.
- W2905232577 hasRelatedWork W850442028 @default.
- W2905232577 isParatext "false" @default.
- W2905232577 isRetracted "false" @default.
- W2905232577 magId "2905232577" @default.
- W2905232577 workType "dataset" @default.