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

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700.1700???

Cita questo