Not registered as user yet

Name: Pierre Pradic

All Activities

• Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track in FSCD 2017