The normal-form decision method in the combined calculus

Lei Ma

pp. 461-489


This document is unfortunately not available for download at the moment.

Not implemented yet !