research
∙
03/25/2023
From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract)
Hilbert and Ackermann asked for a method to consistently extend incomple...
share
research
∙
08/07/2022
Programs as Diagrams: From Categorical Computability to Computable Categories
This is a draft of the first 7 chapters of a textbook/monograph that pre...
research
∙
04/20/2022
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell
While any infimum in a poset can also be computed as a supremum, and vic...
research
∙
08/09/2021
Probabilistic annotations for protocol models
We describe how a probabilistic Hoare logic with localities can be used ...
research
∙
05/07/2021
Lambek pregroups are Frobenius spiders in preorders
"Spider" is a nickname of *special Frobenius algebras*, a fundamental st...
research
∙
07/30/2020
Logic of fusion
The starting point of this work is the observation that the Curry-Howard...
research
∙
07/20/2020
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers
The logical parallelism of propositional connectives and type constructo...
research
∙
10/10/2019
Causality and deceit: Do androids watch action movies?
We seek causes through science, religion, and in everyday life. We get e...
research
∙
04/11/2019
Privacy protocols
Security protocols enable secure communication over insecure channels. P...
research
∙
04/27/2018
Sound up-to techniques and Complete abstract domains
Abstract interpretation is a method to automatically find invariants of ...
research
∙
11/23/2017