articles
Detail
Publication date: 1 de June, 2021Publication Algorithmic type checking for a pi calculus with name matching and session types – Journal Journal of Logic and Algebraic Programming
| Journal | Journal of Logic and Algebraic Programming |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 82 |
| Number | 8 |
| Pub. Date | 01/01/2013 |