9 results
ANF preserves dependent types up to extensional equality
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 16 September 2022, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Mid-term follow-up by speckle tracking and cardiac MRI of children post-transcatheter closure of large atrial septal defects
-
- Journal:
- Cardiology in the Young / Volume 33 / Issue 6 / June 2023
- Published online by Cambridge University Press:
- 11 July 2022, pp. 917-924
-
- Article
- Export citation
Gradual type theory
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 14 October 2021, e21
-
- Article
-
- You have access
- Open access
- Export citation
Estimates of fluid intake, urine output and hydration-levels in women from Somaliland: a cross-sectional study
-
- Journal:
- Journal of Nutritional Science / Volume 10 / 2021
- Published online by Cambridge University Press:
- 20 August 2021, e66
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Psychoendocrinology: arginine vasopressin and resilience in patients with major depressive disorder
-
- Journal:
- CNS Spectrums / Volume 28 / Issue 1 / February 2023
- Published online by Cambridge University Press:
- 09 August 2021, pp. 41-45
-
- Article
- Export citation
Therapeutic efficacy of mebendazole and artemisinin in different phases of trichinellosis: a comparative experimental study
-
- Journal:
- Parasitology / Volume 148 / Issue 5 / April 2021
- Published online by Cambridge University Press:
- 13 January 2021, pp. 630-635
-
- Article
- Export citation
Color changes in X-ray irradiated PM-355 and Makrofol DE 7-2 nuclear track detectors
-
- Journal:
- The European Physical Journal - Applied Physics / Volume 65 / Issue 3 / March 2014
- Published online by Cambridge University Press:
- 03 March 2014, 30201
- Print publication:
- March 2014
-
- Article
- Export citation
Genetic diversity of on-farm selected olive trees in Moroccan traditional olive orchards
-
- Journal:
- Plant Genetic Resources / Volume 11 / Issue 2 / August 2013
- Published online by Cambridge University Press:
- 29 November 2012, pp. 97-105
-
- Article
- Export citation
Provenance as dependency analysis†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 6 / December 2011
- Published online by Cambridge University Press:
- 27 October 2011, pp. 1301-1337
-
- Article
- Export citation