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

5 pointsposted 7 months ago
by matt_d
(msp.cis.strath.ac.uk)

1 Comments

user

7 months ago

[deleted]