99B830FA-9275-4855-B1D3-C6E9CA5052CDSemantics for type theories with resource usage annotationsStudentship1974962798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL08A040ED0-E932-44BC-95BA-CCE765A66F03Context Constrained Computing00afca2fb8d0062888491afbeca118fcAtkey R2018-01-01http://tydeworkshop.org/Other5e68bf5ba11dc0.67826011