Cita APA (7a ed.)

(2007). The weak normalization of the simply typed λse-calculus.

Cita Chicago Style (17a ed.)

The Weak Normalization of the Simply Typed λse-calculus. 2007.

Cita MLA (8a ed.)

The Weak Normalization of the Simply Typed λse-calculus. 2007.