Amy P. Felty: A linear logical framework in hybrid (invited talk). CPP 2019: 14