Suchergebnisse

  • Vorschaubild für Lambda-Kalkül
    Guo-Qiang Zhang: Logic of Domains. Birkhäuser, Boston u. a. 1991, ISBN 0-8176-3570-X (Progress in theoretical computer science 4), (Zugleich: Cambridge,…
    24 KB (3.603 Wörter) - 11:35, 17. Jan. 2024