No. Title Author Year
1 Index-Stratified Types Jacob-Rao, Rohan et al. 2018
2 Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga Kaiser, Jonas et al. 2017
3 Universality of Proofs (Dagstuhl Seminar 16421) Dowek, Gilles et al. 2017
4 Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee Kesner, Delia et al. 2016
5 LIPIcs, Volume 52, FSCD'16, Complete Volume Kesner, Delia et al. 2016
6 Mechanizing Meta-Theory in Beluga (Invited Talk) Pientka, Brigitte 2015
7 Well-Founded Recursion over Contextual Objects Pientka, Brigitte et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 7


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