METODO

International Studies in Phenomenology and Philosophy

Journal | Contributors | Profile

129109

References

Aarne Ranta

Machine translation and type theory

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
Propositions as games as types

1988

Synthese 76/3

Open Access Link