TYPES 2025: The 31st International Conference on Types for Proofs and Programs

4 pointsposted 13 hours ago
by matt_d
(msp.cis.strath.ac.uk)

1 Comments

user

13 hours ago

[deleted]