Jasmin Blanchette - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Tue 21 Mar 2017

Name:Jasmin Blanchette

Country:Netherlands

Affiliation:Vrije Universiteit Amsterdam

Research interests:Theorem Proving

Contributions

POPL 2019	Bindings as Bounded Natural Functors
CPP 2019	Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL A Verified Prover Based on Ordered Resolution
Show activities from other conferences