Výsledky vyhledávání - Semantics of Programming Languages—Operational semantics General Terms

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

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

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 04.12.2024
    Vydáno v arXiv.org (04.12.2024)
    “… Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages…”
    Získat plný text
    Paper
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: