Treffer 1 - 4 von 4 für Suche 'Sørensen, Morten Heine', Suchdauer: 0,49s Treffer weiter einschränken
  1. 1
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

    Veröffentlicht 2006
    FAW01
    FAW02
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

    Veröffentlicht 2006
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine, Urzyczyn, Paweł

    Veröffentlicht 2006
    Publisher description
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Lectures on the Curry-Howard isomorphism

    Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

    Veröffentlicht 2006
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: