The Higher-Order, Call-by-Value Applied Pi-Calculus.

Nobuyuki Sato, Eijiro Sumii

Browse the full APLAS paper archive.