„audited computation“

Suchergebnisse

1 Treffer

• Strongly Normalizing Audited Computation
  Ricciotti, Wilmer ; Cheney, James 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik