J. Hiipakka (hiipakka)

Beiträge zu Philosophie.ch

Bibliography

Hiipakka, J. 1996. “A Philosophical Problem in Martin-Löf’s Type Theory.” in Logica ’95: Proceedings of the 9th International Symposium, edited by Timothy Childers, Petr Kolář, and Vladimı́r Svoboda, pp. 39–46. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.