FM

F. Mangroe

1 records found

Modelling cyclic structures in Agda

Evaluating Agda's coinduction through modelling graphs

Graphs are a widely used concept within computer science. Modelling graphs can be done in various ways, but the most popular approach is doing so inductively. When graphs contain cycles modelling them becomes less intuitive. A solution for this is using the dual of induction call ...