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

Henning Makholm, Joseph Brian Wells

Research output: Contribution to conferencePaper

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

Conference

ConferenceEuropean Symposium on Programmming
Abbreviated titleESOP '05
CountryUnited Kingdom
CityEdinburgh
Period1/01/05 → …

Cite this