Effective metatheory for type theory
2022
2022-01-14 08:15:01
1033
dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects
odvisna teorija tipov, algebrajska teorija, dokazovalni pomočnik, metajezik, računski učinki
mb31
Philipp Georg
Haselwarter
70
Andrej
Bauer
991
UDK
4
510.6
VisID
16
122997
COBISS_ID
3
94707203
4277.pdf
2326165
Predstavitvena datoteka
2022-01-14 08:15:12