Export
APA
Bruno Dinis, Paulo Oliva, (2021). A Parametrised Functional Interpretation of Affine Logic. 5th International Workshop on Trends in Linear Logic and Applications, -
IEEE
Bruno Dinis, Paulo Oliva, "A Parametrised Functional Interpretation of Affine Logic" in 5th International Workshop on Trends in Linear Logic and Applications, , 2021, pp. -,
doi:
BIBTEX
@InProceedings{52146,
author = {Bruno Dinis and Paulo Oliva},
title = {A Parametrised Functional Interpretation of Affine Logic},
booktitle = {5th International Workshop on Trends in Linear Logic and Applications},
year = 2021,
pages = {-},
address = {},
publisher = {}
}