2022:
- Ben MacAdam's (PhD) thesis on the functorial semantics of Lie
theory is here.
- Amolak Ratan Kalra's (MSc) thesis on Kirchhoff relations is here.
2021:
- Priyaa Srinivasan's (PhD) thesis on dagger linear logic and
its application to quantum machanics is here.
2019:
- Cole Comfort's (MSc) thesis characterizing the equations
satisfied by the reversible logic gates CNOT and TOFFOLI is here.
2018:
- Prashant Kumar's (MSc) thesis on implementing Message Passing
Language (MPL) is here.
- Jonathan Gallagher's (PhD) thesis on the differential
\lambda-calculus and abstract differential geometry is here.
2017:
- Chad Nester's (MSc) thesis on Turing categories and
realizability is here.
- Jean-Simon Lemay's (MSc) thesis (jointly supervised with
Kristine Bauer) on Integeral Categories is here.
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:
- Jonathan Gallagher's (MSc) thesis on Differential PCA's, is here.
- Xiuzhan Guo's (PhD) thesis on join and Cartesian restriction
categories is here.
- Masuka Yeasin's (MSc) thesis on protocols in actegories is here.
2008:
- Ning Tang's (MSc) thesis on FLOEY an intermediate compiler
language, is here.
2007:
- Brett Giles (MSc) thesis on L-QPL, linear quantum programming,
is here.
2004:
- Xiuzhan Guo's (MSc) thesis on Range Restriction Categories is
here
- Craig Pastro's (MSc) thesis on SigmaPi polycategories is here
2003:
- Min Zeng's (MSc) thesis on an impementation of Charity is here
1997:
- David Spooner's (PhD) thesis on the semantics of concurrency
in span categories is here
- Charles Tuckey's (MSc) thesis on pattern matching for Charity
is here
- Marc Schroeder's thesis on higher-order types for Charity is here
1996:
- Peter Vesely's thesis on categorical combinators is here
1995:
- Barry Yee's thesis on the abstract machine for Charity
is here
1993:
- Dwight Spencer's (PhD) thesis on the syntax for categorical
programming is here