http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
taking the Curry-Howard correspondence seriously
Includes bibliographical references (pages 375-376) and index.
Cambridge tracts in theoretical computer science ; 51