Bibliography on Linear Logic
Edit Page
Report
Scan day: 17 February 2014 UTC
14
Virus safety - good
Description: Indexed by author. In HTML, PS, DVI and BibTeX.
Bibliography on Linear Logic - Home page This bibliography is a by-product of held at Carnegie Mellon University in Spring 1995. This seminar was organized by and its applications in computer science, a few related references concerning other substructural logics (such as relevance logic or the Lambek calculus) are included.
Size: 326 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Bibliography on Linear Logic - Home page |
| Keywords: | |
| Description: | |
| IP-address: | 128.2.217.13 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |