Speaker Deck

Programming Interactive Worlds with Linear Logic

by Chris

Published August 31, 2015 in Research

Ph.D. thesis defense