Deivid Rodrigues do Vale
1
Document
Publications
Publications
|
|
On Basic Feasible Functionals and the Interpretation MethodFoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg, Luxembourg. pp.70-91, ⟨10.1007/978-3-031-57231-9_4⟩ |
Chargement...
Chargement...