Normal view
MARC view
Lambda calculus (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Typed Lambda Calculi and Applications (6th : 2003 : Valencia, Spain) 21582, Typed lambda calculi and applications :, ©2003.