✦ LIBER ✦

Epistemology versus Ontology || Machine Translation and Type Theory

✍ Scribed by Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemology versus Ontology || Type The

✍ Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 281 KB

Epistemology versus Ontology || Program

✍ Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 275 KB

Epistemology versus Ontology || Kant and

✍ Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 229 KB

Epistemology versus Ontology || Truth an

✍ Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 255 KB

Epistemology versus Ontology || Coalgebr

✍ Dybjer, P.; Lindström, Sten; Palmgren, Erik; Sundholm, G. 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 238 KB

Machine translation output and translati

✍ Riabtseva, Nadeshda K. 📂 Article 📅 1987 🏛 Springer-Verlag ⚖ 560 KB