Recursive models for constructive set theories (1982)

by M Beeson
Venue:Annals of Mathematical Logic