Ruy J. G. B. de Queiroz · 3 obras en el catálogoObrasLogic for concurrency and synchronisationFFunctional Interpretation of Logical DeductionFunctional Interpretation of Logical DeductionLogic, Language, Information, and Computation