REAL

A container model of type theory

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.

[img]
Preview
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 Edit Item