Treffer 1 - 2 von 2 für Suche 'Tofte, Mads', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1

    Proof, language, and interaction essays in honour of Robin Milner

    Veröffentlicht 2000
    Volltext
    Volltext
    Electronic Resource

    Proof, language, and interaction essays in honour of Robin Milner
  2. 2

    The definition of standard ML von Milner, Robin, Harper, Robert, Tofte, Mads

    Veröffentlicht 1997
    Volltext
    Volltext
    Electronic Resource

    The definition of standard ML

Suchwerkzeuge: