Open AccessParametrized Fixed Points and Their Applications to Session Types
Author(s) -
Ryan Kavanagh
Publication year - 2020
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2020.09.008
Subject(s) - semantics (computer science) , algebra over a field , categorical variable , denotational semantics , session (web analytics) , operational semantics , computer science , mathematics , calculus (dental) , discrete mathematics , arithmetic , programming language , pure mathematics , medicine , dentistry , machine learning , world wide web
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom