# MILCR

> **M**ultithreaded **I**nteraction net **L**ambda **C**alculus **R**educer