Hybrid realizability for intuitionistic and classical choice

Valentin Blot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (SciVal)
Filter
Finished

Search results