One Monad to Prove Them All

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Εκδόθηκε σε:arXiv.org (Feb 1, 2019), p. n/a
Κύριος συγγραφέας: Dylus, Sandra
Άλλοι συγγραφείς: Christiansen, Jan, Teegen, Finn
Έκδοση:
Cornell University Library, arXiv.org
Θέματα:
Διαθέσιμο Online:Citation/Abstract
Full text outside of ProQuest
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!