Programming Systems Lab: Publications by Brigitte Pientka

Saarland University Computer Science

Select author:

2017

Relating System F and λ2: A Case Study in Coq, Abella and Beluga   (pdf)
Jonas Kaiser, Brigitte Pientka, Gert Smolka
Proceedings of FSCD 2017


Login to edit


Webmaster, Mon May 30 13:48:30 2016