Browse by ISBN
Jump to: A
Number of items: 1.
A
Atkey, Robert; Curien, Pierre-Louis, ed. (2009) Syntax for free: representing syntax with binding using parametricity. In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009. Lecture Notes in Computer Science, 5608 . Springer, pp. 35-49. ISBN 978-3-642-02272-2