activity
20062025
most citedRealizability algebras II : new models of ZF + DC

37 citations · 105 across the 15 of their papers we have counts for

collaborators
Showing 2019 · cs.AIShow all

1 paper · 2 filters

cs.AI2019

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

Georgiana Caltais, Jean Krivine

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in…