Santo, J.E.2022-03-022022-03-022018https://publica.fraunhofer.de/handle/publica/16428824th International Conference on Types for Proofs and Programs, TYPES 2018. Abstracts