research
∙
06/26/2023
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Federated learning (FL) is a machine learning setting where clients keep...
share
research
∙
05/31/2023
A Simple Python Testbed for Federated Learning Algorithms
Nowadays many researchers are developing various distributed and decentr...
research
∙
12/13/2022
Logic of Combinatory Logic
We develop a classical propositional logic for reasoning about combinato...
research
∙
12/21/2021
L-types for resource awareness: an implicit name approach
Since the early work of Church on λI-calculus and Gentzen on structural ...
research
∙
10/26/2020