Science Central - All about Science

Monday, 23 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Proof Theory UPDATE URL | REPORT BROKEN LINK

Logic of programming

 Popularity:    Hit: 218 | Visit: 1
Details
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working programm are Linear Logic and Ludics.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
Linear Network (Popularity: ): Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its ...
Mathematical Reasoning Group (Popularity: ): Research group based in Edinburgh, it is running on the interaction between logic, mathematics and ...
The Epsilon Calculus (Popularity: ): Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic ...
Proof Theory on the Eve of Year 2000 (Popularity: ): A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
The Calculus of Structures (Popularity: ): The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry ...
ProofTheory.ORG (Popularity: ): Basic material on proof theory and the home page of the only mailing list devoted ...
Topics in Logic and Proof Theory (Popularity: ): Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
Proof Theory (Popularity: ): Open Encyclopedia entry. Hierarchically organized by subtopics.
G. Japaridze's Papers (Popularity: ): Full list of publications by this author, with about 30 items in the area of ...
Frogs Discussion Group (Popularity: ): Internet forum focused on the calculus of structures.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact