Výsledky vyhľadávania - Semantics of Programming Languages—operational semantics General Terms
-
1
String Diagrams for \(\lambda\)-calculi and Functional Computation
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.12.2024Vydané v arXiv.org (04.12.2024)“… Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages…”
Získať plný text
Paper