Barendregt, Henk., Nipkow, Tobias., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Proietti, Maurizio, SpringerLink (Online service)
Springer-Verlag
|
Berardi, Stefano, Coppo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M., SpringerLink (Online service)
Springer-Verlag
|
Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)
Springer-Verlag
|
Kleine Büning, Hans, SpringerLink (Online service)
Springer-Verlag
|
Heering, Jan, Meinke, Karl, Möller, Bernhard, Nipkow, Tobias, SpringerLink (Online service)
Springer-Verlag
|
Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on TYPES, Barendregt, H. P. (Hendrik Pieter), 1947-, Nipkow, Tobias, 1958-
Springer-Verlag
|
Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)
Springer-Verlag
|
Pacholski, Leszek, Tiuryn, Jerzy, SpringerLink (Online service)
Springer-Verlag
|