Pages that link to "Item:Q3066102"
From MaRDI portal
The following pages link to A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing (Q3066102):
Displayed 3 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)