Hybrid realizability for intuitionistic and classical choice

Valentin Blot

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

3 Citations (SciVal)

Search results