Altenkirch, Thorsten and Kaposi, Ambrus (2021) A container model of type theory. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021.
|
Text
TYPES21 - A container model of type theory (Altenkirch and Kaposi).pdf Download (302kB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| Depositing User: | Ambrus Kaposi |
| Date Deposited: | 27 Sep 2021 14:12 |
| Last Modified: | 03 Apr 2023 07:23 |
| URI: | http://real.mtak.hu/id/eprint/130775 |
Actions (login required)
 |
Edit Item |
