- 23 Oct, 2020 1 commit
-
-
Quentin Aristote authored
-
- 03 Sep, 2020 1 commit
-
-
Quentin Aristote authored
-
- 02 Sep, 2020 1 commit
-
-
Quentin Aristote authored
-
- 31 Aug, 2020 1 commit
-
-
Quentin Aristote authored
-
- 29 Aug, 2020 2 commits
-
-
Quentin Aristote authored
Start section on fibrational framework for nested alternating fixed points. Show how the predicate transformer is built in the univariate case and how it is extended to the multivariate case.
-
Quentin Aristote authored
-
- 28 Aug, 2020 1 commit
-
-
Quentin Aristote authored
1st slide : title page 2nd slide : bisimulations 3rd slide : fibrations
-
- 27 Aug, 2020 2 commits
-
-
Quentin Aristote authored
-
Quentin Aristote authored
-
- 10 Aug, 2020 1 commit
-
-
Quentin Aristote authored
-
- 07 Aug, 2020 2 commits
-
-
Quentin Aristote authored
-
Quentin Aristote authored
-
- 06 Aug, 2020 1 commit
-
-
Quentin Aristote authored
-
- 05 Aug, 2020 6 commits
-
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
- 04 Aug, 2020 5 commits
-
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
- 03 Aug, 2020 5 commits
-
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-
Quentin Aristote authored
-