Gaya APA

Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2. (2010). : .

Gaya MLA

Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2. . : , 2010. Text.