Catalogue > People > Profile

ProfilePublications

Aarne Ranta

2 Publications

Machine translation and type theory

2012

Aarne Ranta

in: Epistemology versus ontology, Berlin,

Propositions as games as types

1988

Aarne Ranta

Synthese 76 (3)

2 Publications