Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / edited by Paweł Urzyczyn.
By: Urzyczyn, Paweł.
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 3461.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: digital.ISBN: 9783540320142.Subject(s): Computer science | Logic design | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Programming Techniques | Programming Languages, Compilers, InterpretersDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.