A calculus of single substitutions for simple type theory
  • Metaadatok
Tartalom: http://real.mtak.hu/130786/
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 calculus of single substitutions for simple type theory
Létrehozó:
Kaposi, Ambrus
Luksa, Norbert
Dátum:
2020-10-01
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ó:
Kaposi, Ambrus and Luksa, Norbert (2020) A calculus of single substitutions for simple type theory. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020.
Kapcsolat: