Explicit auditing
From MaRDI portal
Publication:1623147
DOI10.1007/978-3-030-02508-3_20MaRDI QIDQ1623147
James Cheney, Wilmer Ricciotti
Publication date: 23 November 2018
Full work available at URL: https://arxiv.org/abs/1808.00486
lambda calculus; explicit substitutions; justification logic; abstract machines; audited computation
68Qxx: Theory of computing