No label defined (Q5021229)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7456059

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7456059

Statements

scholarly article

0 references

0 references

publication date

12 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2102.02363

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2020.1

0 references

MaRDI profile type

MaRDI publication profile

0 references

Explicit substitutions

0 references

Proof nets and the call-by-value \(\lambda\)-calculus

0 references

Proof nets and the linear substitution calculus

0 references

A nonstandard standardization theorem

0 references

Full Abstraction for Signal Flow Graphs

0 references

Picturing Quantum Processes

0 references

On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation

0 references

Diagrammatic Semantics for Digital Circuits.

0 references

A System-Level Game Semantics

0 references

0 references

Proof nets, garbage, and computations

0 references

0 references

Memoryful geometry of interaction

0 references

Bigraphs and Their Algebra

0 references

0 references

Memoryful geometry of Interaction II: recursion and adequacy

0 references

0 references

0 references

A structural approach to operational semantics

0 references

0 references

A Survey of Graphical Languages for Monoidal Categories

0 references

A syntactic approach to type soundness

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5021229

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5021229&oldid=36756367"