![Applied mathematics / Theoretical computer science / Data types / Polymorphism / Lambda calculus / Π-calculus / Type system / Subtype polymorphism / System F / Mathematics / Type theory / Software engineering Applied mathematics / Theoretical computer science / Data types / Polymorphism / Lambda calculus / Π-calculus / Type system / Subtype polymorphism / System F / Mathematics / Type theory / Software engineering](https://www.pdfsearch.io/img/f4d9dce2313c175806d24ca8a23e4792.jpg)
| Document Date: 2013-12-29 19:43:45 Open Document File Size: 597,50 KBShare Result on Facebook
City Leuven / / Company Kobayashi / Case / Honda / / Country Belgium / / Currency pence / USD / / / Facility University of Bologna / / IndustryTerm higher-order communications / abstract devices / session types suitable to model protocols / distributed systems / structured communications / Web Services / / Organization University of Bologna / / Person Elena Giachino Davide Sangiorgi / / Position general channel type / Type structure General / / Technology simulation / specified protocol / logical unit / model protocols / /
SocialTag |