Characterizing partitioned assemblies and realizability toposes
  We give simple characterizations of the category PAsm(A) of partitioned assemblies, and of the realizability topos RT(A) over a partial combinatory algebra A. This answers the question for an 'extensional characterization' of realizability toposes. 
Jonas Frey
math.CT