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

DROPS-Home | Fulltext Search | Imprint Published by LZI