Bocquet, Rafaël and Kaposi, Ambrus and Sattler, Christian (2020) Metatheoretic proofs internally to presheaf categories. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020).
|
Text
1.pdf Download (422kB) | Preview |
| Item Type: | Conference or Workshop Item (Lecture) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| Depositing User: | Ambrus Kaposi |
| Date Deposited: | 11 Sep 2020 11:17 |
| Last Modified: | 03 Apr 2023 06:53 |
| URI: | http://real.mtak.hu/id/eprint/112976 |
Actions (login required)
 |
Edit Item |
