Web Directory

    Top: Science: Math: Logic_and_Foundations: Nonstandard_Logics_and_Extensions: Substructural_Logics: Linear_Logic:

 

Applications of Linear Logic to Computation (1993)

  Link Details for: Applications of Linear Logic to Computation (1993)
Link Title: Applications of Linear Logic to Computation (1993) Open in a new window
Link URL: http://citeseer.ist.psu.edu/alexiev93applications.html
Link Details: Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical computer science, such as functional programming, and the cor
Category: Top : Science : Math : Logic_and_Foundations : Nonstandard_Logics_and_Extensions : Substructural_Logics : Linear_Logic
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:
Applications of Linear Logic to Computation (1993)