Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus.

Keiji Hirata

Browse the full ICLP paper archive.