Robin Houston

Publications

• Proof Equivalence in MLL Is PSPACE-Complete. Willem Heijltjes, Robin Houston. 2016.
• Linear Logic Without Units. Robin Houston. 2013.