7 results
Martin Hofmann’s contributions to type theory: Groupoids and univalence
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 28 June 2021, pp. 953-957
-
- Article
- Export citation
Indexed containers
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 20 May 2015, e5
-
- Article
-
- You have access
- Export citation
Selected papers from Dependently Typed Programming 2010 – Overview
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 27 November 2014, pp. 1-2
-
- Article
- Export citation
5 - The Quantum IO Monad
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 173-205
-
- Chapter
- Export citation
Big-step normalisation
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 311-333
-
- Article
-
- You have access
- Export citation
Structuring quantum effects: superoperators as arrows
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 453-468
-
- 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