Login / Signup
Nominal Sets in Agda - A Fresh and Immature Mechanization.
Miguel Pagano
José E. Solsona
Published in:
CoRR (2023)
Keyphrases
</>
database
computational complexity
digital libraries