BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@phdthesis{TUW-285309,
    author = {Genco, Francesco},
    title = {Intermediate logics and concurrent lambda-calculi: a proof theoretic approach},
    school = {Institut f{\"u}r Logic und Computation},
    year = {2019}
}


1 Datensatz ausgegeben