Palamariuc, Anda-Amelia (2020) Minimal Session Types for First-Order Processes. Bachelor's Thesis, Computing Science.
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
bCS_2020_PalamariucAA.pdf Restricted to Registered users only Download (635kB) |
Abstract
De begeleider en/of auteur heeft geen toestemming gegeven tot het openbaar maken van de scriptie. The supervisor and/or the author did not authorize public publication of the thesis.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Perez Parra, J.A. and Renardel de Lavalette, G.R. |
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 17 Aug 2020 06:33 |
| Last Modified: | 17 Aug 2020 06:33 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/23109 |
Actions (login required)
 |
View Item |