Risultati della ricerca - van Collem, Simcha

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Copertina

    Initial Algebras of Domains via Quotient Inductive-Inductive Types di van Collem, Simcha, van der Weide, Niels, Geuvers, Herman

    Pubblicazione 2025
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: