Impredicative identity criteria

Leon Horsten

pp. 411-439


This document is unfortunately not available for download at the moment.

Not implemented yet !