Login / Signup
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction.
Jorge Sousa Pinto
Published in:
TLCA (2001)
Keyphrases
</>
parallel implementation
lambda calculus
distributed memory