Home

Proofs

Library

Chat

Docs

Notif.

Billing

Settings

Sign in

home

library

authors

Francesco Dagnino

Francesco Dagnino

Publications

Foundations of Regular Coinduction. Francesco Dagnino. 2021.