Cyclic Structures in Programs and Proofs
NWO financed research project OCENW.XL.23.089
We are part of the Dutch Cyclic Structures in Programs and Proofs consortium.
NWO financed research project OCENW.XL.23.089
We are part of the Dutch Cyclic Structures in Programs and Proofs consortium.