Deivid Rodrigues do Vale

1
Document

Publications

Publications

Deposit thumbnail

On Basic Feasible Functionals and the Interpretation Method

Patrick Baillot , Ugo Dal Lago , Cynthia Kop , Deivid Vale

FoSSaCS 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⟩

Communication dans un congrès hal-04743265v1