Switch to: Citations

References in:

Theories of presheaf type

Journal of Symbolic Logic 69 (3):923-934 (2004)

Add references

You must login to add references.

No references yet.