6 results
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 17 January 2022, pp. 361-362
-
- Article
-
- You have access
- Export citation
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 08 September 2021, pp. 1-2
-
- Article
- Export citation
Neurophysiological correlates of disorder-related autobiographical memory in anorexia nervosa
-
- Journal:
- Psychological Medicine / Volume 53 / Issue 3 / February 2023
- Published online by Cambridge University Press:
- 18 June 2021, pp. 844-854
-
- Article
- Export citation
An overlapping pattern of cerebral cortical thinning is associated with both positive symptoms and aggression in schizophrenia via the ENIGMA consortium
-
- Journal:
- Psychological Medicine / Volume 50 / Issue 12 / September 2020
- Published online by Cambridge University Press:
- 16 October 2019, pp. 2034-2045
-
- Article
- Export citation
A generalization of the Takeuti–Gandy interpretation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 20 February 2015, pp. 1071-1099
-
- Article
-
- You have access
- Export citation
Hubble Space Telescope Visible Imaging of Jupiter During the Comet Crash
-
- Journal:
- Highlights of Astronomy / Volume 10 / 1995
- Published online by Cambridge University Press:
- 30 March 2016, pp. 624-626
- Print publication:
- 1995
-
- Article
-
- You have access
- Export citation