. "A formulae-as-types notion of control"@en. "1990". . _:DfdSmmae1467. "Source: Freebase - The World's database". . "This paper was the first to show that under the Curry-Howard correspondence, Peirce's law is the type of continuation operators, e.g. call/cc in Scheme."@en. . . . . _:DfdSmmae1467 . _:DfdSmmae1467 "a_formulae_as_types_notion_of_control".