Full Text Available
Access Full Text at Repository
Search Results - Calculus
-
The Many-Worlds Calculus
Published in Logical Methods in Computer Science (2025)Get full text
Online Article RSS Article -
Completeness of the ZX-Calculus
Published in Logical Methods in Computer Science (2020)Get full text
-
-
Privacy by typing in the $pi$-calculus
Published in Logical Methods in Computer Science (2017)Get full text
-
-
Ordered Models of the Lambda Calculus
Published in Logical Methods in Computer Science (2013)Get full text
-
A calculus for costed computations
Published in Logical Methods in Computer Science (2011)Get full text
-
A strong call-by-need calculus
Published in Logical Methods in Computer Science (2023)Get full text
-
$aleph_1$ and the modal $mu$-calculus
Published in Logical Methods in Computer Science (2019)Get full text