|
||||
Name: Logic of programming 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 Category: Proof Theory Url: http://iml.univ-mrs.fr/ldp/welcome.html Date: 09-03-2001 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
