Presheaf models for Constructive Set Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicola Gambino. Presheaf models for Constructive Set Theories. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

This author has not been identified. Look up 'Nicola Gambino' in Google

runs on WebDSL