Danil Annenkov

Identifiers

• name variant Danil Annenkov 0.60 · backfill

Papers (2)

1. Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory cs.PL · 2018 · author #1
2. Two-Level Type Theory and Applications cs.LO · 2017 · author #1

Mentions

• 1705.03307 #1 · arxiv_oai · confidence 0.70 Danil Annenkov

Frequent Coauthors

• Christian Sattler 1 shared papers
• Nicolai Kraus 1 shared papers
• Paolo Capriotti 1 shared papers