ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Lambda Calculus and Constructive Proof
FOSSACS
Sal C
Automated Constructivization of Proofs
Frédéric Gilbert
(École des Ponts ParisTech, France; Inria, France; CEA LIST, France)
Publisher's Version

Author:


Time stamp: 2019-09-16T02:51:25+02:00