Pure Type Systems with Definitions.

Paula Severi, Erik Poll

Browse the full LFCS paper archive.