Normal view
MARC view
International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Typed Lambda Calculi and Applications (10th : 2011 : Novi Sad, Serbia), Typed lambda calculi and applications :, 2011.