Type-Theoretic Signatures for Algebraic Theories and Inductive Types
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/86212
Archívum: EDIT
Gyűjtemény: Disszertációk (ELTE PHD)
Informatikai Kar PHD
Informatika Doktori Iskola
Cím:
Type-Theoretic Signatures for Algebraic Theories and Inductive Types
Létrehozó:
Kovács, András
Közreműködő:
Kaposi, Ambrus
Téma:
Műszaki tudományok/Informatikai tudományok
type theory
algebraic theories
two-level type theory
inductive types
quotient inductive-inductive types
higher inductive-inductive types
Informatika D. I./Az informatika alapjai és módszerei.
típuselmélet
algebrai elméletek
kétszintű típuselmélet
induktív típusok
kvóciens induktív-induktív típusok
magasabb induktív-induktív típusok
Tartalmi leírás:
Nyelv:
angol
angol
magyar
Típus:
info:eu-repo/semantics/doctoralThesis
Formátum:
application/pdf
application/pdf
application/pdf
application/pdf
Azonosító:
elte:10.15476/ELTE.2022.070
elte:33835536
https://opac.elte.hu/Record/opac-EUL01-1107051
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/86212/1/thesis.pdf
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/86212/2/theses_eng_booklet_2.pdf
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/86212/3/theses_hun_booklet_2.pdf
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/86212/4/DOI_adatlap.pdf
Létrehozó:
info:eu-repo/semantics/openAccess