Deep and Shallow Embeddings in Coq Danil Annenkov Bas Spitters Aarhus University, Concordium
Deep and Shallow Embeddings in Coq Danil Annenkov Bas Spitters Aarhus University, Concordium Blockchain Research Center TYPES June 13, 2019 Oslo 1 Danil Annenkov, Bas Spitters Deep and Shallow Embeddings in Coq Motivation We want to
359 views • 14 slides