One Monad to Prove Them All
Պահպանված է:
| Հրատարակված է: | arXiv.org (Feb 1, 2019), p. n/a |
|---|---|
| Հիմնական հեղինակ: | |
| Այլ հեղինակներ: | , |
| Հրապարակվել է: |
Cornell University Library, arXiv.org
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Citation/Abstract Full text outside of ProQuest |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Եղիր առաջինը, ով թողնում է մեկնաբանություն!