Pages that link to "Item:Q4946631"

The following pages link to Topological representation of the λ-calculus (Q4946631):

Displaying 2 items.

• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)