You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Typed Lambda Calculi and Applications
|
---|---|
Chapter number | 1 |
Book title |
Typed Lambda Calculi and Applications
|
Published in |
Lecture notes in computer science, January 2009
|
DOI | 10.1007/978-3-642-02273-9_1 |
Book ISBNs |
978-3-64-202272-2, 978-3-64-202273-9
|
Authors |
Pierre-Louis Curien, Marcelo Fiore, Chung-Kil Hur, Fiore, Marcelo, Hur, Chung-Kil |