Resolving the circularity of infinite processes via sized coinductive types
Talk at Circularity in Syntax and Semantics, Gothenburg University 2019
Agda code
WalickiGraphNFPropLogic.agda
CoNat.agda
FormalLanguages.agda
SizedFormalLanguages.agda
SizedPredicateFormalLanguages.agda
Main.agda-lib