A revision theory for type-free probability

To upload material, you must first log in.