Exactly estimating functionals and strong normalization, Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen (1987)

by R C de Vrijer
Venue:ON GIRARD’S “CANDIDATS DE REDUCTIBILIT É