2018:

2017:

2014
  • Brett Giles's (PhD) thesis on reversible computation, Quantum computing, and inverse categories is here.
  • Subashis Chakraborty's (MSc) thesis on the type system of MPL is here.
2012:
2008:
2007:
2004:
2003:
1997:
1996:
1995:
1993: