Ontolog Forum

Revision as of 10:31, 8 May 2017 by imported>MatthewWest (→‎Rick Murphy)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Retrieved from "https://ontologforum.com/index.php?title=RickMurphy&oldid=2721"

Person