A contextual type theory with judgemental modalities for reasoning from open assumptions
| Title | A contextual type theory with judgemental modalities for reasoning from open assumptions |
| Publication Type | Journal Article |
| Authors | Primiero, G |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-3094113 |
|---|---|
| Download PDF |
 (Author PDF) |
UGent Biblio Link:
PDF author (public):