The relational machine calculus
From MaRDI portal
Cites work
- A call-by-name lambda-calculus machine
- A curry-Howard correspondence for linear, reversible computation
- A new description of orthogonal bases
- A relational model of data for large shared data banks
- Algorithms for Kleene algebra with converse
- An Efficient Unification Algorithm
- Bialgebraic foundations for the operational semantics of string diagrams
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic -calculus
- Combining higher-order and first-order computation using -calculus: Towards a semantics of ELAN
- Completeness of the ZX-calculus
- Compositional semantics for probabilistic programs with exact conditioning
- Contextual equivalence for signal flow graphs
- Control categories and duality: On the categorical semantics of the lambda-mu calculus
- Datafun: a functional Datalog
- Declarative continuations: an investigation of duality in programming language semantics
- Decomposing typed lambda calculus into a couple of categorical programming languages
- Differential categories
- Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
- Evidential decision theory via partial Markov categories
- Execution time of λ-terms via denotational semantics and intersection types
- Freshness and Name-Restriction in Sets of Traces with Names
- From symmetric pattern-matching to quantum control
- Functional Logic Programming: From Theory to Curry
- Functorial Semantics as a Unifying Perspective on Logic Programming
- Graphical affine algebra
- Graphical Conjunctive Queries.
- Guarded commands, nondeterminacy and formal derivation of programs
- scientific article; zbMATH DE number 5708038 (Why is no real title available?)
- scientific article; zbMATH DE number 3978351 (Why is no real title available?)
- scientific article; zbMATH DE number 3988745 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 1487844 (Why is no real title available?)
- scientific article; zbMATH DE number 1405668 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Interacting quantum observables: categorical algebra and diagrammatics
- Interaction nets vs. the -calculus: introducing bigraphical nets
- Join inverse rig categories for reversible functional programming, and beyond
- Lambda calculus with patterns
- Laws of programming
- Linear logic
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Local states in string diagrams
- Normal functors, power series and -calculus
- Notions of computation and monads
- On Hoare logic and Kleene algebra with tests
- On the calculus of relations
- On theories with a combinatorial definition of 'equivalence'
- Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity
- Quantitative semantics of the lambda calculus. Some generalisations of the relational model
- Restriction categories. I: Categories of partial maps
- Small-step and big-step semantics for call-by-need
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- The algebraic lambda calculus
- The differential lambda-calculus
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- The functional machine calculus II: semantics
- The regular-language semantics of second-order idealized ALGOL
- Understanding game semantics through coherence spaces
- Weighted relational models of typed lambda-calculi
This page was built for publication: The relational machine calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970273)
