Natural Deduction and the Beck Condition, Zeitschr. f. math. Logik und Grundlagen d (1983)

by R A G Seely, Hyperdoctrines
Venue:M 0 ) : Z 0 ` M1 : Z 0 ` M2 : 0 ` M3 : 0 ` cond(M1; M2; M3) : 0; f: !T 0 ; x: ` E 0 (f; x) : T 0 0 ` M : 0 ` rec 0(E 0 ; M) : T 0 0 ` M : Z 0 ` up `(M) : T1 ` ct` : TZ