Abstract: This article introduces the enriched effect calculus, which extends established type theories for computational effects with primitives from linear logic. The new calculus provides a ...
SR-DEC = Symbolic Regression with Discrete Exterior Calculus primitives. This repository contains the scripts to reproduce the benchmark problems discussed in the paper Discovering interpretable ...
A JSON-native lambda calculus runtime with metacircular evaluation, designed as an MCP (Model Context Protocol) server. Enables language models to evolve tools dynamically through metaprogramming. For ...
Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing the ...
ABSTRACT: Pi-Calculus is a formal method for describing and analyzing the behavior of large distributed and concurrent systems. Pi-calculus offers a conceptual framework for describing and analyzing ...
In this lecture we first generalize the calculus of concurrent processes so that values can be transmitted during communication. But our language has no primitive values, so this just reduces to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results