Login / Signup
Formalizing Program Equivalences in Dependent Type Theory.
Giorgio Marabelli
Alberto Momigliano
Published in:
ICTCS (2019)
Keyphrases
</>
relational algebra
formal theory
case study
database
decision making
decision trees
computational models
theoretical basis
programming course
general theory