Suchergebnisse - Semantics of Programming Languages—operational semantics General Terms

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    String Diagrams for \(\lambda\)-calculi and Functional Computation von Ghica, Dan, Zanasi, Fabio

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 04.12.2024
    Veröffentlicht in arXiv.org (04.12.2024)
    “… Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: