Some models for intuitionistic finite type arithmetic with fan-functional - Troelstra, Anne S. 1939-2019 (1974)
Keywords: Intuitionistic mathematics; Modular arithmetic