Mobility in Process Calculi and Natural Computing - 9783642248665

Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer ...

Urinary Tract Infections, Calculi and Tubular Disorders, Paperback by Walls, ...

Typed Lambda Calculi And Applications : 7th International Conference, Tlca 20...

The Calculi of Lambda-Conversion (Annals of Mathematics Studies, 6) by Church

Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and F...

Typed Lambda Calculi And Applications : 7th International Conference, Tlca 20...

Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and...