Synthetic

Realisability Theory

Wikipedia nLab

References