A Modular Hierarchy of Logical Frameworks. - Robin Adams 001 (TYPES, 2003)

Formalized Metatheory with Terms Represented by an Indexed Family of Types. - Robin Adams 001 (TYPES, 2004)

A modular hierarchy of logical frameworks. - Robin Adams 001 (2004)

Pure type systems with judgemental equality. - Robin Adams 001 (J. Funct. Program., 2006)

Lambda-Free Logical Frameworks - Robin Adams 001 (CoRR, 2008)

Structural subtyping for inductive types with functorial equality rules. - Zhaohui Luo; Robin Adams 001 (Math. Struct. Comput. Sci., 2008)

Coercive subtyping in lambda-free logical frameworks. - Robin Adams 001 (LFMTP, 2009)

Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective. - Robin Adams 001; Tiago Forin; Saranya Srinivasan; Llewellyn Mann (ICLS (1), 2010)

Classical predicative logic-enriched type theories. - Robin Adams 001; Zhaohui Luo (Ann. Pure Appl. Log., 2010)

Weyl's predicative classical mathematics as a logic-enriched type theory. - Robin Adams 001; Zhaohui Luo (ACM Trans. Comput. Log., 2010)

A pluralist approach to the formalisation of mathematics. - Robin Adams 001; Zhaohui Luo (Math. Struct. Comput. Sci., 2011)

QPEL: Quantum Program and Effect Language. - Robin Adams 001 (QPL, 2014)

A Type Theory for Probabilistic and Bayesian Reasoning. - Robin Adams 001; Bart Jacobs 001 (TYPES, 2015)

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic. - Robin Adams 001; Marc Bezem; Thierry Coquand (TYPES, 2016)

A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic. - Robin Adams 001; Marc Bezem; Thierry Coquand (CoRR, 2016)

Privacy-Preserving Architectures with Probabilistic Guaranties. - Kai Bavendiek; Robin Adams 001; Sibylle Schupp (PST, 2018)

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. - Robin Adams 001; Sibylle Schupp (VSTTE, 2018)

Guaranteeing privacy policies using lightweight type systems. - Robin Adams 001; Wolfgang Schulz 002; Sibylle Schupp; Florian Wittner (Comput. Law Secur. Rev., 2019)