Login / Signup

Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors.

Lionel Vaux
Published in: Log. Methods Comput. Sci. (2019)
Keyphrases