Back to Results
First PageMeta Content
Ordinal numbers / Elementary mathematics / Proof theory / Duality / Large countable ordinal / Ordinal arithmetic / Topos / Function / Natural number / Mathematics / Mathematical logic / Logic


Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed]
Add to Reading List

Document Date: 2005-01-09 13:06:51

Open Document

File Size: 179,77 KB

Share Result on Facebook

Company

LL / Common sense / /

/

IndustryTerm

machinery / /

Organization

Stanford University Stanford / /

/

Position

forward / /

Product

Set / /

ProgrammingLanguage

Pascal / /

ProvinceOrState

California / /

URL

http /

SocialTag