Author:David Sabel
Keyphrasescontextual equivalence, correctness, deduction, lambda calculus, observational equivalence, probabilistic programming, program equivalence, program transformation, semantics2, verification. |
| ||||
| ||||
| Copyright © 2012-2023 easychair.org. All rights reserved. |