Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)
Springer-Verlag
|
Montanari, Ugo, Rossi, Francesca, SpringerLink (Online service)
Springer-Verlag
|
Berardi, Stefano., Coppo, Mario., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Hsiang, Jieh, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on TYPES, Berardi, Stefano, Coppo, Mario
Springer
|
Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)
Springer-Verlag
|
Barendregt, Henk, Nipkow, Tobias, SpringerLink (Online service)
Springer-Verlag
|
Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)
Springer-Verlag
|
Fribourg, Laurent, Turini, Franco, SpringerLink (Online service)
Springer-Verlag
|
Kuchen, Herbert, Doaitse Swierstra, S., SpringerLink (Online service)
Springer-Verlag
|
Hanus, Michael, Rodríguez-Artalejo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service)
Springer-Verlag
|