HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Luigi Santocanale

Publications
Cuts for circular proofs
Jérôme Fortier and Luigi Santocanale
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

categorical proof theory, fixpoints, Inductive and Coinductive Types, initial and final (co)algebras.

Copyright © 2012-2025 easychair.org. All rights reserved.