Conference | Speakers | Profile
![129109](/images/creator/_default.jpg)
Aarne Ranta
Machine translation and type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Propositions as games as types
1988
Synthese 76/3
![Open Access Link](/images/OAlink.png)
Conference | Speakers | Profile
Machine translation and type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Propositions as games as types
1988
Synthese 76/3