An analysis of Böhm’s theorem

by Gérard Huet
Citations:7 - 3 self