👤

Luke Ong

2 books

Books by Luke Ong

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
2010
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
1999