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
A Lambda-Free Higher-Order Recursive Path Order
, Uwe Waldmann, and Daniel Wand
(Inria, France; LORIA, France; Max Planck Institute for Informatics, Germany)
Publisher's Version
Preprint

Authors:


Time stamp: 2019-07-23T15:39:46+02:00