[TYPES] Decidability of type reconstruction in predicative System-F?

Christian Skalka wintersmind at gmail.com
Mon Jan 28 17:38:24 EST 2013

I am wondering if there are formal results related to the (un?)decidability
of type reconstruction in predicative System-F. As I understand it, Joe
Wells' well-known undecidability result only applies to impredicative

Pointers/citations appreciated.



Christian Skalka
Associate Professor
Department of Computer Science
University of Vermont

More information about the Types-list mailing list