Notes on Programming Linguistics, M.I.T. Department of Electrical Engineering (1971)

by J M Wozencraft, A Evans
Venue:Γ = x1 : σ1, . . . , xn : σn, [Γ ] = [σ1 ], × . . . × [σn ]), and