Typed Lambda Calculi and Applications, 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Clairambault P
Dybjer P
N/ACitations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Cite
CITATION STYLE
APA
Clairambault, P., & Dybjer, P. (n.d.). Typed Lambda Calculi and Applications, 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings.
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.