A semantics for nabla

DOI10.1017/S0960129518000063zbMath1456.03055OpenAlexW2799361847WikidataQ114116583 ScholiaQ114116583MaRDI QIDQ5236555

Jean Goubault-Larrecq

Publication date: 9 October 2019

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129518000063

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A higher-order language for Markov kernels and linear operators

Uses Software

• Abella

Cites Work

• The Abella Interactive Theorem Prover (System Description)
• A proof theory for generic judgments
• Consistency of the theory of contexts
• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A semantics for nabla