The seven virtues of simple type theory / higher-order logic [pdf]

2 fanf2 0 8/14/2025, 8:42:04 PM imps.mcmaster.ca ↗

Comments (0)

No comments yet