FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Mon 4 Sep 2017 15:00 - 15:30 at L2 - Session 3

Mon 4 Sep

Displayed time zone: Belfast change

15:00 - 16:00
Session 3FSCD 2017 at L2
15:00
30m
Talk
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
FSCD 2017
A: Jonas Kaiser , A: Brigitte Pientka McGill University, A: Gert Smolka Saarland University
15:30
30m
Talk
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL
FSCD 2017
Jasmin Blanchette Vrije Universiteit Amsterdam, A: Mathias Fleury MPI-INF, A: Dmitriy Traytel ETH Zurich