Stellar Resolution: Multiplicatives

Boris Eng, Thomas Seiller

We present a new asynchronous model of computation named Stellar Resolution based on first-order unification. This model of computation is obtained as a formalisation of Girard's t…