Propositions as games as types
Aarne RantaVolume:
76
Language:
english
Pages:
19
Journal:
Synthese
DOI:
10.1007/bf00869607
Date:
September, 1988
File:
PDF, 977 KB
english, 1988