Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane

Information about gmane.science.mathematics.frogs

The archive for this list can be read the following ways:

Search the list:

Link to embed recent activity into your web page:

<iframe src="http://blog.gmane.org/recent.php?group=gmane.science.mathematics.frogs&type=topics&content=subject,date">

See this link for an overview of the available style parameters.

Detailed statistics.

Group gmane.science.mathematics.frogs
Description This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory
Address [email protected]
Status Bidirectional list

Other mailing list archives for this list:

  1. Original List Archive

If the information about the list is wrong, you can edit this information.

CD: 0ms