-
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.
920ca4b9
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.