Normal view MARC view
  • Barendregt, Henk

Barendregt, Henk (Personal Name)

Number of records used in: 1
Preferred form: Barendregt, Henk

Machine generated authority record.

Work cat.: (JGU)2185668: Barendregt, Henk., Lambda calculus with types, c2013.

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library