2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 latest

2025‑09‑05 – The type theory fire triangle: how to mix substitution, dependent elimination, and effects.

• 2025‑09‑05 - The type theory fire triangle: how to mix substitution, dependent elimination, and effects.
• https://dl.acm.org/doi/10.1145/3371126
• redirect https://dotat.at/:/EL56O
• blurb https://dotat.at/:/EL56O.html
• atom entry https://dotat.at/:/EL56O.atom
• web.archive.org archive.today