(1)
B├╝cking, S. Painting Cows from a Type-Logical Perspective. SuB 2019, 22, 277-294.