18 results
Minding Rights: Mapping Ethical and Legal Foundations of ‘Neurorights’
-
- Journal:
- Cambridge Quarterly of Healthcare Ethics / Volume 32 / Issue 4 / October 2023
- Published online by Cambridge University Press:
- 15 May 2023, pp. 461-481
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 06 April 2021, e8
-
- Article
-
- You have access
- Export citation
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 17 June 2020, e17
-
- Article
-
- You have access
- Export citation
Elaborating dependent (co)pattern matching: No pattern left behind
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 21 January 2020, e2
-
- Article
-
- You have access
- Open access
- Export citation
POPLMark reloaded: Mechanizing proofs by logical relations
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 10 December 2019, e19
-
- Article
-
- You have access
- Export citation
12 - Energy Transformation in Cities
- from Part III - Urban Infrastructure Systems
-
-
- Book:
- Climate Change and Cities
- Published online:
- 12 April 2018
- Print publication:
- 29 March 2018, pp 443-490
-
- Chapter
- Export citation
Interactive programming in Agda – Objects and graphical user interfaces
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 27 / 2017
- Published online by Cambridge University Press:
- 06 February 2017, e8
-
- Article
-
- You have access
- Export citation
Frequency selection by feedback control in a turbulent shear flow
-
- Journal:
- Journal of Fluid Mechanics / Volume 797 / 25 June 2016
- Published online by Cambridge University Press:
- 18 May 2016, pp. 247-283
-
- Article
- Export citation
Well-founded recursion with copatterns and sized types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 03 March 2016, e2
-
- Article
-
- You have access
- Export citation
Severe Influenza in 33 US Hospitals, 2013–2014: Complications and Risk Factors for Death in 507 Patients
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 36 / Issue 11 / November 2015
- Published online by Cambridge University Press:
- 30 July 2015, pp. 1251-1260
- Print publication:
- November 2015
-
- Article
- Export citation
18 - How gender influences objective career success and subjective career satisfaction
-
-
- Book:
- Gender Differences in Aspirations and Attainment
- Published online:
- 05 October 2014
- Print publication:
- 25 September 2014, pp 412-426
-
- Chapter
- Export citation
Cluster-based reduced-order modelling of a mixing layer
-
- Journal:
- Journal of Fluid Mechanics / Volume 754 / 10 September 2014
- Published online by Cambridge University Press:
- 06 August 2014, pp. 365-414
-
- Article
- Export citation
Heterogeneity in mild cognitive impairment: Differences in neuropsychological profile and associated white matter lesion pathology
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 15 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 01 November 2009, pp. 906-914
-
- Article
- Export citation
Implementing a normalizer using sized heterogeneous types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 287-310
-
- Article
-
- You have access
- Export citation
Polarised subtyping for sized types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 5 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 797-822
-
- Article
- Export citation
Termination checking with types
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 38 / Issue 4 / October 2004
- Published online by Cambridge University Press:
- 15 October 2004, pp. 277-319
- Print publication:
- October 2004
-
- Article
- Export citation
A predicative analysis of structural recursion
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 09 January 2002, pp. 1-41
-
- Article
-
- You have access
- Export citation