Simon Spies -

Registered user since Tue 11 Dec 2018

Name:Simon Spies

Country:Germany

Affiliation:Saarland University

Contributions

CoqPL 2020	Author of A Coq Library of Undecidable Problems within the CoqPL-track
CPP 2020	Author of Undecidability of Higher-Order Unification Formalised in Coq within the CPP 2020-track
CPP 2019	Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track