A Type Theory with Mixed Constructivity and Assignments
scientific article; zbMATH DE number 1019589