Robin Adams
Visar 15 publikationer
Guaranteeing Privacy Policies using Lightweight Type Systems
Privacy-Preserving Architectures with Probabilistic Guaranties
A Type Theory for Probabilistic and Bayesian Reasoning
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic
QPEL: Quantum Program and Effect Language
A pluralist approach to the formalisation of mathematics
Classical Predicative Logic-Enriched Type Theories
Weyl's predicative classical mathematics as a logic-enriched type theory
Structural subtyping for inductive types with functorial equality rules
Weyl's predicative classical mathematics as a logic-enriched type theory
Pure type systems with judgemental equality
Formalized metatheory with terms represented by an indexed family of types
A Modular Hierarchy of Logical Frameworks
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.