Robin Adams

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7364199 (Why is no real title available?)	2021-06-29	Paper
scientific article; zbMATH DE number 7364199 (Why is no real title available?) (available as arXiv preprint)	2021-06-29	Paper
Constructing independently verifiable privacy-compliant type systems for message passing between black-box components (available as arXiv preprint)	2018-12-07	Paper
A type theory for probabilistic and Bayesian reasoning (available as arXiv preprint)	2018-08-13	Paper
Weyl's predicative classical mathematics as a logic-enriched type theory ACM Transactions on Computational Logic	2015-09-17	Paper
A pluralist approach to the formalisation of mathematics Mathematical Structures in Computer Science	2011-10-21	Paper
Classical predicative logic-enriched type theories Annals of Pure and Applied Logic	2011-08-26	Paper
Classical predicative logic-enriched type theories Annals of Pure and Applied Logic	2011-08-26	Paper
Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory Lecture Notes in Computer Science	2009-03-10	Paper
Structural subtyping for inductive types with functorial equality rules Mathematical Structures in Computer Science	2008-11-13	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2006-11-13	Paper
Pure type systems with judgemental equality Journal of Functional Programming	2006-03-22	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper

Research outcomes over time

This page was built for person: Robin Adams