Categorical Models for Intuitionistic and Linear Type Theory.

Maria Emilia Maietti, Valeria de Paiva, Eike Ritter

Browse the full FOSSACS paper archive.