A Formal Equational Theory for Call-By-Push-Value.

Christine Rizkallah Dmitri Garbuzov Steve Zdancewic

Published in: ITP (2018)

Keyphrases

mathematical theory
mathematical foundations
theorem proving
databases
formal models
formal methods
theoretical basis
formal model
theoretical foundation
theoretical framework
evolutionary algorithm
neural network
computational model
multiscale
information retrieval
database
equational theories