Search Results for author:
Found 1 papers, 0 papers with code
Types for Parallel Complexity in the Pi-calculus
Type systems as a way to control or analyze programs have been largely studied in the context of functional programming languages.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
