Ravi Rajani
发表
Mike Prest,
Ravi Rajani,
M. Prest,
2009,
The Journal of Symbolic Logic.
Mike Prest,
Ravi Rajani,
M. Prest,
2009,
Appl. Categorical Struct..