Zum Inhalt springen

  1. Kaiser, Jonas [VerfasserIn]; Pientka, Brigitte [VerfasserIn]; Smolka, Gert [VerfasserIn] ; Jonas Kaiser and Brigitte Pientka and Gert Smolka [MitwirkendeR]

    Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017