Anhlan Phuc Nguyen

• A formal system for linear space reasoning