The following pages link to (Q4029341):
Displaying 6 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- The linear abstract machine (Q1105351) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)