Some models for intuitionistic finite type arithmetic with fan functional (1977)

by A S Troelstra
Venue:J. Symbolic Logic