Investigation into combinatory systems with dual combinators

DOI10.1023/A:1005252431462zbMath0963.03021OpenAlexW1599456589MaRDI QIDQ1595916

Katalin Bimbó

Publication date: 18 February 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005252431462

zbMATH Keywords

substructural logicscombinatory logicChurch-Rosser propertydual combinatorssymmetric lambda-calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Related Items (3)

The Church-Rosser property in symmetric combinatory logic ⋮ The Church-Rosser property in dual combinatory logic ⋮ Semantics for dual and symmetric combinatory calculi

This page was built for publication: Investigation into combinatory systems with dual combinators