reference
Rchain reference material
view repo
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph-enriched Lawvere theory describes structures that have a graph of operations of each arity, where the vertices are operations and the edges are rewrites between operations. Enriched theories can be used to equip systems with operational semantics, and maps between enriching categories can serve to translate between different forms of operational and denotational semantics. The Grothendieck construction lets us study all models of all enriched theories in all contexts in a single category. We illustrate these ideas with the SKI-combinator calculus, a variable-free version of the lambda calculus, and with Milner's calculus of communicating processes.
READ FULL TEXT
We introduce the concept of Frobenius theory as a generalisation of Lawv...
read it
We present a process algebra aimed at describing interactions that are
m...
read it
In this work we propose a formal system for fuzzy algebraic reasoning. T...
read it
We cast aspects of consciousness in axiomatic mathematical terms, using ...
read it
We address problems underlying the algorithmic question of automating th...
read it
We propose an approach to the semantics of package management which rela...
read it
Controlling resource usage in distributed systems is a challenging task ...
read it
Rchain reference material
Comments
There are no comments yet.