Robin Adams

Available identifiers

zbMath Open adams.robinMaRDI QIDQ636366

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4997286	2021-06-29	Paper
Constructing independently verifiable privacy-compliant type systems for message passing between black-box components	2018-12-07	Paper
A Type Theory for Probabilistic and Bayesian Reasoning	2018-08-13	Paper
Weyl's predicative classical mathematics as a logic-enriched type theory	2015-09-17	Paper
A pluralist approach to the formalisation of mathematics	2011-10-21	Paper
Classical predicative logic-enriched type theories	2011-08-26	Paper
Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory	2009-03-10	Paper
Structural subtyping for inductive types with functorial equality rules	2008-11-13	Paper
Types for Proofs and Programs	2006-11-13	Paper
Pure type systems with judgemental equality	2006-03-22	Paper
Types for Proofs and Programs	2005-12-23	Paper

Research outcomes over time

This page was built for person: Robin Adams