Parigot’s second order lambda-mu-calculus and inductive types (2001)

by Ralph Matthes
Venue:Proceedings of TLCA 2001