The type theory fire triangle: how to mix substitution, dependent elimination, a

1 fanf2 0 9/9/2025, 2:42:03 PM dl.acm.org ↗

Comments (0)

No comments yet