λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Hawk05-C@1 · Hawk05-C.tex · section · ba0719f1

Complete interfaces and the two return types

Complete interfaces and the two return types · lines 268–273

Back to manuscript

Let $C$ be a variable code with $dim C = d \geq 2$ , and let $Q$ be an untouched reference.

Nearby in this section