Collection Principles in Dependent Type Theory

Nicola Gambino, Nicola Gambino, Peter Aczel

Risultato della ricerca: Other

14 Citazioni (Scopus)
Lingua originaleEnglish
Numero di pagine23
Stato di pubblicazionePublished - 2002

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cita questo