Explore >> Select a destination

You are here

 mattleifer.info
Doctoral Position | Matt LeiferMatt Leifer
| | proftomcrick.com
Survey: impact of COVID-19 on health and wellbeing in academia - Digital, Data & Policy
2.6 parsecs away

Travel
| | With colleagues from the University of Bristol, Swansea University, University College Dublin, Victoria University of Wellington, University of Cape Town, University of Western Australia, and Indraprastha Institute of Information Technology, Delhi, we are investigating the impact of COVID-19 (SARS-CoV-2 coronavirus), and ``emergency remote teaching'' - the rapid move to online learning, teaching and assessment -...
| | jdh.hamkins.org
Forcing is simply the iterative conception undertaken with multivalued logic, ForcingFest, Oslo, June 2024 | Joel David Hamkins
3.6 parsecs away

Travel
| | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative...
| | nathanjohnson.us
Map of NCA Doctoral Programs in Rhetoric - Nathan R. Johnson
3.2 parsecs away

Travel
| | [AI summary] The post discusses a map of NCA doctoral programs in rhetoric, with data sourced from state abortion laws and includes a contact section for Nathan R. Johnson.
| | lawrencecpaulson.github.io
"Why don't you use dependent types?"
24.3 parsecs away

Travel
| [AI summary] The author reflects on the evolution of proof assistants and dependent types, providing a detailed history of Isabelle, AUTOMATH, and Martin-Löf type theory while ultimately dismissing modern dependent type languages like Lean in favor of higher-order logic.