Residuated Transition Systems

MaRDI QIDQ7361384FDO

Authors Eugene W. Stark

Publication date 28 February 2022

Cites work

• A direct proof of the finite developments theorem
• Combinatory logic. With two sections by William Craig.
• Concurrent transition systems
• Unnamed Publication
• Reductions of Residuals are Finite
• Residual theory in λ-calculus: a formal development
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(1)

• Residuated Transition Systems II: Categorical Properties

This page was built for software: Residuated Transition Systems