Web Directory

    Top: Computers: Computer_Science: People: S:

 

Stewart, Charles

  Link Details for: Stewart, Charles
Link Title: Stewart, Charles Open in a new window
Link URL: http://www.linearity.org/cas/
Link Details: Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
Category: Top : Computers : Computer_Science : People : S
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Stewart, Charles