Spahn Formalizing Belief Revision in Type Theory (history)

August 4, 2012