Alejandro Díaz-Caro, Octavio Malherbe. A Concrete Categorical Semantics of Lambda-S. Electronic Notes in Theoretical Computer Science, 344:83-100, 2019. [doi]
@article{Diaz-CaroM19,
title = {A Concrete Categorical Semantics of Lambda-S},
author = {Alejandro Díaz-Caro and Octavio Malherbe},
year = {2019},
doi = {10.1016/j.entcs.2019.07.006},
url = {https://doi.org/10.1016/j.entcs.2019.07.006},
researchr = {https://researchr.org/publication/Diaz-CaroM19},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {83-100},
}