Hereditary partial functionals in any type (preliminary note (1982)

by G Longo