Abstrakt. Sessionstyper används för att beskriva och strukturera interaktioner mellan oberoende processer i distribuerade system. Högre ordningstyper behövs för att på ett korrekt sätt strukturera delegeringen av ansvaret mellan processerna. I det här dokumentet visar vi att avtal om webtjänster i högre ordning kan användas för att tillhandahålla en fullständig abstrakt modell av rekursiva sessionstyper i högre ordning. Modellen är set-theoretic, i den meningen att betydelsen av ett kontrakt anges i termer av den uppsättning avtal som den uppfyller. Ett avgörande steg i beviset på att avtalet har upphört att gälla är att det visar att varje kontrakt har minst ett annat kontrakt som det följer.
I själva verket visar Ref avsnitt 5] att varje sessionstyp är användbar wrt.
Using higher-order contracts to model session types
{'venue': 'Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1642', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}