Frittaion, E. (2024). Extensional realizability and choice for dependent types in intuitionistic set theory.
Style de citation Chicago (17e éd.)Frittaion, Emanuele. Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory. 2024.
Style de citation MLA (9e éd.)Frittaion, Emanuele. Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.