Rick Murphy

Rick Murphy is a working software engineer, employed by the U.S. Government. His current interests are in intuitionistic logic as well as type-, category- and proof-theory.