Repository | Directory | Profile

129109

Aarne Ranta

Bibliography ²

(1980-1989)

Propositions as games as types

1988

Synthese 76/3

Open Access Link

Order by

Filter

Language

english/english

Period

1980-1989