Altenkirch, T.2022-03-022022-03-022015978-3-939897-87-3https://publica.fraunhofer.de/handle/publica/16555813th International Conference on Typed Lambda Calculi and Applications, TLCA 2015