A Typed Language for Agent Coordination

(johncarlosbaez.wordpress.com)

3 points | by terryf 9 hours ago ago