Zum Inhalt springen

  1. Holst, Agda [Sonstige Person, Familie und Körperschaft]; Rausing, Birgit [Sonstige Person, Familie und Körperschaft]

    Agda Holst : livet, konsten

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stockholm: Carlssons, 2010

  2. Prinz, Jacob [Verfasser:in]; Kavvos, G. A. [Verfasser:in]; Lampropoulos, Leonidas [Verfasser:in] ; Jacob Prinz and G. A. Kavvos and Leonidas Lampropoulos [Mitwirkende:r]

    Deeper Shallow Embeddings

    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, 2022

  3. Knispel, Andre [Verfasser:in]; Melkonian, Orestis [Verfasser:in]; Chapman, James [Verfasser:in]; Hill, Alasdair [Verfasser:in]; Jääger, Joosep [Verfasser:in]; DeMeo, William [Verfasser:in]; Norell, Ulf [Verfasser:in] ; Andre Knispel and Orestis Melkonian and James Chapman and Alasdair Hill and Joosep Jääger and William DeMeo and Ulf Norell [Mitwirkende:r]

    Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda

    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, 2024

  4. Altenkirch, Thorsten [Verfasser:in]; Kaposi, Ambrus [Verfasser:in]; Šinkarovs, Artjoms [Verfasser:in]; Végh, Tamás [Verfasser:in] ; Thorsten Altenkirch and Ambrus Kaposi and Artjoms Šinkarovs and Tamás Végh [Mitwirkende:r]

    Combinatory Logic and Lambda Calculus Are Equal, Algebraically

    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, 2023

  5. Pizani Flor, João Paulo [Verfasser:in]; Swierstra, Wouter [Verfasser:in]; Sijsling, Yorick [Verfasser:in] ; João Paulo Pizani Flor and Wouter Swierstra and Yorick Sijsling [Mitwirkende:r]

    Pi-Ware: Hardware Description and Verification in Agda

    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, 2018