DMCA

A symmetric modal lambda calculus for distributed computing (2004)

Cached

Download Links

by Tom Murphy, VII , Karl Crary , Robert Harper , Frank Pfenning
Venue:IN PROCEEDINGS OF THE 19TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS
Citations:57 - 10 self