Resource approximation for the λμ-calculus.

Mon, 01 Jan 2024 00:00:00 +0100

Davide Barbarossa:
Resource approximation for the λμ-calculus. CoRR abs/2409.11587 (2024)