Robin Adams - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2018

2016

2015

A Type Theory for Probabilistic and Bayesian ReasoningRobin Adams, Bart Jacobs 0001. TYPES 2018: [doi]

2011

A pluralist approach to the formalisation of mathematicsRobin Adams, Zhaohui Luo. mscs, 21(4):913-942, 2011. [doi]

2010

Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspectiveRobin Adams, Tiago Forin, Saranya Srinivasan, Llewellyn Mann. icls 2010: 1158-1165 [doi]

Classical predicative logic-enriched type theoriesRobin Adams, Zhaohui Luo. APAL, 161(11):1315-1345, 2010. [doi]

Weyl s predicative classical mathematics as a logic-enriched type theoryRobin Adams, Zhaohui Luo. tocl, 11(2), 2010. [doi]

2009

Coercive subtyping in lambda-free logical frameworksRobin Adams. lfmtp 2009: 30-39 [doi]

2008

Structural subtyping for inductive types with functorial equality rulesZhaohui Luo, Robin Adams. mscs, 18(5):931-972, 2008. [doi]

2006

Pure type systems with judgemental equalityRobin Adams. JFP, 16(2):219-246, 2006. [doi]

Weyl s Predicative Classical Mathematics as a Logic-Enriched Type TheoryRobin Adams, Zhaohui Luo. TYPES 2007: 1-17 [doi]

2004

Formalized Metatheory with Terms Represented by an Indexed Family of TypesRobin Adams. TYPES 2006: 1-16 [doi]

A modular hierarchy of logical frameworksRobin Adams. PhD thesis, Royal Holloway, University of London, UK, 2004. [doi]

2003

A Modular Hierarchy of Logical FrameworksRobin Adams. TYPES 2004: 1-16 [doi]

2000

A design attribute framework for course planning and learning assessmentMichael J. Safoutin, Cynthia J. Atman, Robin Adams, Teodora Rutar, John C. Kramlich, James L. Fridley. te, 43(2):188-199, 2000. [doi]

Concept maps for engineering education: a cognitively motivated tool supporting varied assessment functionsJennifer Turns, Cynthia J. Atman, Robin Adams. te, 43(2):164-173, 2000. [doi]

Sign in or sign up to see more results.

runs on WebDSL