Media type: E-Article Title: Fibrational Modal Type Theory Contributor: de Paiva, Valeria; Ritter, Eike Published: Elsevier BV, 2016 Published in: Electronic Notes in Theoretical Computer Science, 323 (2016), Seite 143-161 Language: English DOI: 10.1016/j.entcs.2016.06.010 ISSN: 1571-0661 Origination: Footnote: Access State: Open Access