(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.
Precaución: Estas citas no son 100% exactas.