The following pages link to (Q4163527):
Displaying 7 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On the axiom of union (Q964450) (← links)
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Set theory with indeterminacy of identity (Q1347604) (← links)
- Design optimization using multiple dominance relations (Q6496285) (← links)