Instant Polymorphic Types for Mobile Process Calculi: Just add Reduction Rules and Close

Henning Makholm, Joseph Brian Wells

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Publication statusPublished - Apr 2005
EventEuropean Symposium on Programmming - Edinburgh, United Kingdom
Duration: 1 Jan 2005 → …


ConferenceEuropean Symposium on Programmming
Abbreviated titleESOP '05
Country/TerritoryUnited Kingdom
Period1/01/05 → …

Cite this