"Brand Objects for Nominal Typing."

Timothy Jones, Michael Homer, James Noble (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics