Semantics of a relational \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: Semantics of a relational \(\lambda\)-calculus
DOI: 10.1007/978-3-030-64276-1_13
author: Pablo Barenbaum
author: Federico Lochbaum
author: Mariana Milicich
publication date: 2021-07-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2009.10929
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7369992
zbMATH Keywords: lambda calculus
zbMATH Keywords: semantics
zbMATH Keywords: relational programming
zbMATH Keywords: functional programming
zbMATH Keywords: logic programming
zbMATH Keywords: confluence
MaRDI profile type: Publication
OpenAlex ID: W3138070738
Recommended article: Relational Semantics for the Lambek-Grishin Calculus
Recommended article: Relational semantics and a relational proof system for full Lambek calculus
Recommended article: Logical relations and the typed λ-calculus
Recommended article: Q5144610
Recommended article: Lambek calculus and its relational semantics: Completeness and incompleteness
Recommended article: Relational semantics of the Lambek calculus extended with classical propositional logic
Recommended article: Relational Semantics for the Turing Schmerl Calculus
Recommended article: A Labelled Deductive System for Relational Semantics of the Lambek Calculus
Recommended article: Semantics of linear/modal lambda calculus
Recommended article: On the completeness of the Lambek calculus with respect to relativized relational semantics
description: scientific article; zbMATH DE number 7369992