Franta Fraka, reading group – Decidability of Conversion for Type Theory in Type Theory, 14.03.2018
by Rob Stewart • January 9, 2018 • DSG Research Seminars: Logic and Programming Languages
Franta will run a reading group for the POPL paper “Decidability of Conversion for Type Theory in Type Theory”.