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