Thursday, February 14, 2008

Here is a connection between proof theory and programming:

http://www.ercim.org/publication/Ercim_News/enw23/galmiche.html
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)