The type theory fire triangle: how to mix substitution, dependent elimination, adl.acm.org2 pointsfanf210 months ago