A note on the Friedman slash and Freyd covers (1982)

by A Scedrov, P J Scott