This paper provides a formal account of the research contributions in the field of Serverless computing.