Lambda-Calculus Symposium (Lambda-Calculus)

[–] 

Venue statistics

records by year

document access 

frequent authors

Lambda-Calculus 1975: Rome, Italy