The following pages link to Mixed logic and storage operators (Q1570018):
Displaying 6 items.
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- Getting results from programs extracted from classical proofs (Q1882897) (← links)
- Operand Folding Hardware Multipliers (Q2889774) (← links)
- Propositional mixed logic: its syntax and semantics (Q3643261) (← links)
- A General Type for Storage Operators (Q4857862) (← links)
- Storage Operators and ∀‐positive Types in TTR Type System (Q4888346) (← links)