Repository | Directory | Profile
Aarne Ranta
Machine translation and type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Propositions as games as types
1988
Synthese 76/3
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
Machine translation and type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
Propositions as games as types
1988
Synthese 76/3