2 ms·

Also relevant: Pict [0], a π-calculus programming language. [0]: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html http://www.cis.upenn.edu/~bcpier

by hdhzy 9y ago

Also relevant: Pict [0], a π-calculus programming language. [0]: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.htm...