http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings
International Conference on Typed Lambda Calculi Applications (1993 : Utrecht, Netherlands)
viii, 432 pages : illustrations ; 23 cm.