"Parigot's Second Order lambda-mu-Calculus and Inductive Types."

Ralph Matthes (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics