Normalisation by Evaluation for Type Theory, in Type Theory by Thorsten Altenkirch, Ambrus Kaposi

Get full text

Signatures and Induction Principles for Higher Inductive-Inductive Types by Ambrus Kaposi, András Kovács

Get full text

B cells from anti-thyroid antibody positive, infertile women show hyper-reactivity to BCR stimulation by Timea Serény-Litvai, Timea Serény-Litvai, Timea Serény-Litvai, Anna Bajnok, Anna Bajnok, Viktoria Temesfoi, Viktoria Temesfoi, Viktoria Temesfoi, Jasper Nörenberg, Jasper Nörenberg, Greta Pham-Dobor, Ambrus Kaposi, Akos Varnagy, Akos Varnagy, Kalman Kovacs, Kalman Kovacs, Sandor Pentek, Sandor Pentek, Tamas Koszegi, Tamas Koszegi, Tamas Koszegi, Emese Mezosi, Emese Mezosi, Timea Berki, Timea Berki

Get full text