Sheaf Toposes for Realizability (2001)

by Steven Awodey , Andrej Bauer
Citations:1 - 1 self