29th International Conference on Types for Proofs and Programs, Location: Valencia, Spain
Publication date:
2023-06-12
Author:
Nuyts, Andreas
Keywords:
1247922N#56489469