Catalogue > People > Profile

Profile Publications

Aarne Ranta

editions X

2 Publications

Machine translation and type theory

2012

in: Epistemology versus ontology, Berlin,

Propositions as games as types

1988

Synthese 76 (3)

2 Publications