# * Modular approach to quotient and other types *

## by Aleksey Nogin

2000-2001

I will continue presenting my modular approach to quotient and other types in type theory.

2000-2001

I will continue presenting my modular approach to quotient and other types in type theory.