Dezani-Ciancaglini, Mariangiola., Plotkin, Gordon., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Dezani-Ciancaglini, Mariangiola, Montanari, Ugo, SpringerLink (Online service)
Springer-Verlag
|
International Conference on Typed Lambda Calculi Applications, Dezani-Ciancaglini, Mariangiola, Plotkin, G. (Gordon), …
Springer-Verlag
|
Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)
Springer-Verlag
|
Bezem, Marc, Groote, Jan Friso, SpringerLink (Online service)
Springer-Verlag
|
Mycroft, Alan, SpringerLink (Online service)
Springer-Verlag
|
Bezem, Marc., Groote, Jan F., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Dowek, Gilles, Heering, Jan, Meinke, Karl, Möller, Bernhard, SpringerLink (Online service)
Springer-Verlag
|
Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)
Springer-Verlag
|
Montanari, Ugo, Rossi, Francesca, SpringerLink (Online service)
Springer-Verlag
|
Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)
Springer-Verlag
|
Mayr, Ernst W., Puech, Claude, SpringerLink (Online service)
Springer-Verlag
|