A container model of type theory
  • Metaadatok
Tartalom: http://real.mtak.hu/130775/
Archívum: REAL
Gyűjtemény: Status = Published
Subject = Q Science / természettudomány: QA Mathematics / matematika: QA76 Computer software / programozás
Subject = Q Science / természettudomány: QA Mathematics / matematika: QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Type = Conference or Workshop Item
Cím:
A container model of type theory
Létrehozó:
Altenkirch, Thorsten
Kaposi, Ambrus
Dátum:
2021-06-08
Téma:
QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
QA76 Computer software / programozás
Nyelv:
angol
Típus:
Conference or Workshop Item
PeerReviewed
info:eu-repo/semantics/conferenceObject
Formátum:
text
Azonosító:
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.
Kapcsolat: