Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320086989> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4320086989 abstract "We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the desire to allow an AGI to learn not only relevant knowledge (programs/proofs), but also appropriate ways of reasoning (logics/type systems). We draw on the frameworks of cubical type theory and dependent typed metagraphs to formalize our approach. In doing so, we show that specific constructions within the meta-language can be related via bisimulation (implying path equivalence) to the type systems they correspond. This allows our approach to provide a convenient means of deriving synthetic denotational semantics for various type systems. Particularly, we derive bisimulations for pure type systems (PTS), and probabilistic dependent type systems (PDTS). We discuss further the relationship of PTS to non-well-founded set theory, and demonstrate the feasibility of our approach with an implementation of a bisimulation proof in a Guarded Cubical Type Theory type checker." @default.
- W4320086989 created "2023-02-12" @default.
- W4320086989 creator A5019414150 @default.
- W4320086989 creator A5038877365 @default.
- W4320086989 creator A5039476071 @default.
- W4320086989 creator A5077980658 @default.
- W4320086989 date "2022-03-29" @default.
- W4320086989 modified "2023-10-18" @default.
- W4320086989 title "A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems" @default.
- W4320086989 doi "https://doi.org/10.48550/arxiv.2203.15970" @default.
- W4320086989 hasPublicationYear "2022" @default.
- W4320086989 type Work @default.
- W4320086989 citedByCount "0" @default.
- W4320086989 crossrefType "posted-content" @default.
- W4320086989 hasAuthorship W4320086989A5019414150 @default.
- W4320086989 hasAuthorship W4320086989A5038877365 @default.
- W4320086989 hasAuthorship W4320086989A5039476071 @default.
- W4320086989 hasAuthorship W4320086989A5077980658 @default.
- W4320086989 hasBestOaLocation W43200869891 @default.
- W4320086989 hasConcept C108710211 @default.
- W4320086989 hasConcept C118615104 @default.
- W4320086989 hasConcept C135315306 @default.
- W4320086989 hasConcept C135790938 @default.
- W4320086989 hasConcept C154945302 @default.
- W4320086989 hasConcept C156325763 @default.
- W4320086989 hasConcept C184337299 @default.
- W4320086989 hasConcept C18903297 @default.
- W4320086989 hasConcept C198370458 @default.
- W4320086989 hasConcept C199360897 @default.
- W4320086989 hasConcept C20528804 @default.
- W4320086989 hasConcept C207648694 @default.
- W4320086989 hasConcept C2524010 @default.
- W4320086989 hasConcept C2776214188 @default.
- W4320086989 hasConcept C2777299769 @default.
- W4320086989 hasConcept C2780069185 @default.
- W4320086989 hasConcept C33923547 @default.
- W4320086989 hasConcept C41008148 @default.
- W4320086989 hasConcept C49937458 @default.
- W4320086989 hasConcept C80444323 @default.
- W4320086989 hasConcept C86803240 @default.
- W4320086989 hasConcept C93682546 @default.
- W4320086989 hasConceptScore W4320086989C108710211 @default.
- W4320086989 hasConceptScore W4320086989C118615104 @default.
- W4320086989 hasConceptScore W4320086989C135315306 @default.
- W4320086989 hasConceptScore W4320086989C135790938 @default.
- W4320086989 hasConceptScore W4320086989C154945302 @default.
- W4320086989 hasConceptScore W4320086989C156325763 @default.
- W4320086989 hasConceptScore W4320086989C184337299 @default.
- W4320086989 hasConceptScore W4320086989C18903297 @default.
- W4320086989 hasConceptScore W4320086989C198370458 @default.
- W4320086989 hasConceptScore W4320086989C199360897 @default.
- W4320086989 hasConceptScore W4320086989C20528804 @default.
- W4320086989 hasConceptScore W4320086989C207648694 @default.
- W4320086989 hasConceptScore W4320086989C2524010 @default.
- W4320086989 hasConceptScore W4320086989C2776214188 @default.
- W4320086989 hasConceptScore W4320086989C2777299769 @default.
- W4320086989 hasConceptScore W4320086989C2780069185 @default.
- W4320086989 hasConceptScore W4320086989C33923547 @default.
- W4320086989 hasConceptScore W4320086989C41008148 @default.
- W4320086989 hasConceptScore W4320086989C49937458 @default.
- W4320086989 hasConceptScore W4320086989C80444323 @default.
- W4320086989 hasConceptScore W4320086989C86803240 @default.
- W4320086989 hasConceptScore W4320086989C93682546 @default.
- W4320086989 hasLocation W43200869891 @default.
- W4320086989 hasOpenAccess W4320086989 @default.
- W4320086989 hasPrimaryLocation W43200869891 @default.
- W4320086989 hasRelatedWork W1606874744 @default.
- W4320086989 hasRelatedWork W180941769 @default.
- W4320086989 hasRelatedWork W2104888341 @default.
- W4320086989 hasRelatedWork W2106221267 @default.
- W4320086989 hasRelatedWork W2121993468 @default.
- W4320086989 hasRelatedWork W2155105871 @default.
- W4320086989 hasRelatedWork W2886069053 @default.
- W4320086989 hasRelatedWork W2981096575 @default.
- W4320086989 hasRelatedWork W4236155685 @default.
- W4320086989 hasRelatedWork W4246665322 @default.
- W4320086989 isParatext "false" @default.
- W4320086989 isRetracted "false" @default.
- W4320086989 workType "article" @default.