University of Bath mailing lists
Skip to Content.
List of lists
View list info
Deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory.
Please provide your email address for your unsubscription request from list frogs.
Your e-mail address :
For help using Sympa please contact
Powered by Sympa 5.3.2