List of web sites about Formulae-as-Types Correspondence: Proofs as Processes

List of web sites about Formulae-as-Types Correspondence: Proofs as Processes. Links and information.

	Directory: Science Math: Logic and Foundations: Computational Logic: Combinatory Logic and Lambda Calculus: Formulae-as-Types Correspondence: Proofs as Processes

Site List

A Non Functional Calculus: Linear Logic and Concurrency (2000) - (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.
citeseer.ist.psu.edu/313007.html

Completeness Results for Linear Logic on Petri Nets (1993) - (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.
citeseer.ist.psu.edu/72922.html

Pi-Calculus and Linear Logic (1992) - (CiteSeer) Article by Bellin and Scott showing how classical linear logic may be interpreted in the pi calculus, thus supporting Abramksy's `Proofs as Processes' thesis.
citeseer.ist.psu.edu/bellin92calculus.html

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998) - (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages.
citeseer.ist.psu.edu/parrow98fusion.html

Main Categories in Science

Social Sciences, Biology, Technology, Math, Environment, Earth Sciences

Suggest URL

Submit a Site

Update Listing

References

Backlinks


Main Categories: Arts, Business [E-Commerce, Investing], Computer [Software, Retailers], Games, Health, Home, Kids and Teens, News, Recreation [Models], Reference, Regional [US, UK], Science, Shopping Online [Buy Cars, Used and Rare Books], Society, Sports

Based on ODP data, enhanced by Kub.it editors

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor