Search Results - Semantics of Programming Languages—operational semantics General Terms

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 04.12.2024
    Published in arXiv.org (04.12.2024)
    “… Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages…”
    Get full text
    Paper
    Save to List
    Saved in:

Search Tools: