No. Title Author Year
1 Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341) Barthe, Gilles et al. 2021
2 Front Matter, Table of Contents, Preface, Conference Organization Dybjer, Peter et al. 2019
3 LIPIcs, Volume 130, TYPES'18, Complete Volume Dybjer, Peter et al. 2019
4 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: 4

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