Normal view
MARC view
Ong, Luke. (Personal Name)
Machine generated authority record.
Work cat.: ()947131: TLCA 2011. (10th : 2011 : Novi Sad, Serbia) 1039967, Typed Lambda Calculi and Applications, 2011.
