[FOM] Simple type theory with quotient types

Colin McLarty colin.mclarty at case.edu
Wed Jun 8 10:47:32 EDT 2011

What is the state of the art on adding quotients types to simple type
theory?  Bart Jacobs has written a lot about it in a categorical
setting that suits me very well.  But I wonder how other proof
theorists have handled it.

best, Colin

More information about the FOM mailing list