|
Lambda calculus - BooksClick a book link to view all the available details:· The Parametric Lambda Calculus: A Meta-Model for Computation (Texts in Theoretical Computer Science) · Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999: Proceedings (Lecture Notes in Computer Science, 1581) · Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 2003: Proceedings (Lecture Notes in Computer Science, 2701)
| ||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
©1997 - 2006 CentraSoft.Com | Privacy Policy | Terms Of Use Adobe Corp. in no way endorses or is affiliated with Centrasoft Corp. | |||||||||||||||||
