Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas Farmer William M. Innbundet / 2025 / Engelsk
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas Farmer William M. Heftet / 2024 / Engelsk
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings Borwein, Jonathan Heftet / 2006 / Engelsk
