The Linear Logic Pages
Edit Page
Report
Scan day: 05 March 2014 UTC
6
Virus safety - good
Description: An overview of the current knowledge in Linear Logic.
An overview of the current knowledge in Linear Logic Classical Logic and Unified Logic Linear Logic and Computer Science Please contact us if you have any question that is not answered here. We also welcome corrections, suggestions, and of course, new results.
Size: 260 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The Linear Logic Pages |
| Keywords: | linear logic, proof theory |
| Description: | An overview of the current knowledge in Linear Logic |
| IP-address: | 139.124.6.1 |
WHOIS Info
| NS | ns1.univmed.fr [139.124.1.1 2001:660:5402:801::1] ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE |
| Date | created: 18/04/1996 last-update: 25/02/2010 changed: 08/11/2005 [email protected] changed: 09/05/2005 [email protected] changed: 02/12/2009 [email protected] changed: 09/05/2005 [email protected] changed: 09/05/2005 [email protected] |