No. Title Author Year
1 Type Theory with Explicit Universe Polymorphism Bezem, Marc et al. 2023
2 Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341) Barthe, Gilles et al. 2021
3 Front Matter, Table of Contents, Preface, Conference Organization Dybjer, Peter et al. 2019
4 LIPIcs, Volume 130, TYPES'18, Complete Volume Dybjer, Peter et al. 2019
5 Undecidability of Equality in the Free Locally Cartesian Closed Category Castellan, Simon et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI