A Braided Lambda Calculus

12/30/2021
by   Masahito Hasegawa, et al.
0

We present an untyped linear lambda calculus with braids, the corresponding combinatory logic, and the semantic models given by crossed G-sets.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/10/2022

A Gödel Calculus for Linear Temporal Logic

We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
04/15/2019

The Bang Calculus and the Two Girard's Translations

We study the two Girard's translations of intuitionistic implication int...
research
09/12/2023

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus

We introduce FIK, a natural intuitionistic modal logic specified by Krip...
research
05/04/2022

Semimodules and the (syntactically-)linear lambda calculus

In a recent paper, the ℒ^𝒮-calculus has been defined. It is a proof-lang...
research
10/14/2021

First-Order Modal ξ-Calculus

This paper proposes first-order modal ξ-calculus as well as genealogical...
research
05/31/2021

Elegant elaboration with function invocation

We present an elegant design of the core language in a dependently-typed...
research
04/25/2018

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Linear/non-linear (LNL) models, as described by Benton, soundly model a ...

Please sign up or login with your details

Forgot password? Click here to reset