AtomSeek the directory or science  

Math: Logic and Foundations: Proof Theory: Logic of programming


  Home: Math: Logic and Foundations: Proof Theory:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Proof Theory: Logic of programming


URL: http://iml.univ-mrs.fr/ldp/welcome.html

 

Description: 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.


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com