The following pages link to (Q3996874):
Displayed 4 items.
- Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations (Q891099) (← links)
- Linear morphisms in a topos (Q1264582) (← links)
- Programs with restoration of computations (Q1592016) (← links)
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)