research
∙
10/01/2022
Executable First-Order Queries in the Logic of Information Flows
The logic of information flows (LIF) has recently been proposed as a gen...
research
∙
09/14/2022
Inputs, Outputs, and Composition in the Logic of Information Flows
The logic of information flows (LIF) is a general framework in which tas...
research
∙
08/27/2018