![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Robin Adams 0001
Person information
- affiliation: Chalmers University of Technology, Gothenburg, Sweden
- affiliation (2017): Hamburg University of Technology, Germany
- affiliation (2016 - 2017): University of Bergen, Norway
- affiliation (2014 - 2015): Radboud University Nijmegen, The Netherlands
- affiliation (2005 - 2012): Royal Holloway University of London, UK
- affiliation (2004 - 2005): Victoria University of Manchester, UK
- affiliation (PhD 2004): University of Manchester, UK
Other persons with the same name
- Robin Adams — disambiguation page
- Robin Adams 0002 — Purdue University (and 1 more)
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j6]Robin Adams
, Wolfgang Schulz, Sibylle Schupp, Florian Wittner:
Guaranteeing privacy policies using lightweight type systems. Comput. Law Secur. Rev. 35(6): 105337 (2019) - [i6]Robin Adams, Sibylle Schupp:
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components. CoRR abs/1901.10892 (2019) - 2018
- [c10]Kai Bavendiek, Robin Adams
, Sibylle Schupp:
Privacy-Preserving Architectures with Probabilistic Guaranties. PST 2018: 1-10 - [c9]Robin Adams
, Sibylle Schupp:
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. VSTTE 2018: 196-214 - 2016
- [c8]Robin Adams
, Marc Bezem, Thierry Coquand:
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic. TYPES 2016: 3:1-3:20 - [i5]Robin Adams, Marc Bezem, Thierry Coquand:
A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic. CoRR abs/1610.00026 (2016) - 2015
- [c7]Robin Adams
, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. TYPES 2015: 1:1-1:34 - [i4]Robin Adams, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. CoRR abs/1511.09230 (2015) - 2014
- [c6]Robin Adams
:
QPEL: Quantum Program and Effect Language. QPL 2014: 133-153 - 2011
- [j5]Robin Adams
, Zhaohui Luo:
A pluralist approach to the formalisation of mathematics. Math. Struct. Comput. Sci. 21(4): 913-942 (2011) - 2010
- [j4]Robin Adams
, Zhaohui Luo:
Classical predicative logic-enriched type theories. Ann. Pure Appl. Log. 161(11): 1315-1345 (2010) - [j3]Robin Adams
, Zhaohui Luo:
Weyl's predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. 11(2): 11:1-11:29 (2010) - [c5]Robin Adams, Tiago Forin, Saranya Srinivasan, Llewellyn Mann:
Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective. ICLS (1) 2010: 1158-1165
2000 – 2009
- 2009
- [c4]Robin Adams
:
Coercive subtyping in lambda-free logical frameworks. LFMTP 2009: 30-39 - [i3]Robin Adams, Zhaohui Luo:
Classical Predicative Logic-Enriched Type Theories. CoRR abs/0906.1726 (2009) - 2008
- [j2]Zhaohui Luo, Robin Adams
:
Structural subtyping for inductive types with functorial equality rules. Math. Struct. Comput. Sci. 18(5): 931-972 (2008) - [i2]Robin Adams:
Lambda-Free Logical Frameworks. CoRR abs/0804.1879 (2008) - [i1]Robin Adams, Zhaohui Luo:
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. CoRR abs/0809.2061 (2008) - 2006
- [j1]Robin Adams
:
Pure type systems with judgemental equality. J. Funct. Program. 16(2): 219-246 (2006) - [c3]Robin Adams
, Zhaohui Luo:
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES 2006: 1-17 - 2004
- [b1]Robin Adams:
A modular hierarchy of logical frameworks. Royal Holloway, University of London, UK, 2004 - [c2]Robin Adams:
Formalized Metatheory with Terms Represented by an Indexed Family of Types. TYPES 2004: 1-16 - 2003
- [c1]Robin Adams:
A Modular Hierarchy of Logical Frameworks. TYPES 2003: 1-16
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint