A Typed Language for Agent Coordination

johncarlosbaez.wordpress.com · terryf · 3 hours ago · view on HN