Realizability Models for Constructive Set Theories with Restricted Induction Principles (2000)

by L Crosilla