scientific article; zbMATH DE number 7456059
From MaRDI portal
Publication:5021229
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2102.02363
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation
- Linear logic
- Proof nets and the call-by-value \(\lambda\)-calculus
- A syntactic approach to type soundness
- Proof nets, garbage, and computations
- Proof nets and the linear substitution calculus
- A structural approach to operational semantics
- Full Abstraction for Signal Flow Graphs
- Memoryful geometry of Interaction II: recursion and adequacy
- Nominal Sets
- Bigraphs and Their Algebra
- Picturing Quantum Processes
- A Survey of Graphical Languages for Monoidal Categories
- A System-Level Game Semantics
- Memoryful geometry of interaction
- Explicit substitutions
- Diagrammatic Semantics for Digital Circuits.
- A nonstandard standardization theorem
This page was built for publication:
