Luke Ong
Luke Ong
4 books in the database
Books
Logic, Language, Information and ComputationLuke Ong
Logic, Language, Information and Computation
Luke Ong · 2012
Typed Lambda Calculi and ApplicationsLuke Ong
Typed Lambda Calculi and Applications
Luke Ong · 2011
Foundations of Software Science and Computational StructuresLuke Ong
Foundations of Software Science and Computational Structures
Luke Ong · 2010
Computer Science LogicLuke Ong
Computer Science Logic
Luke Ong · 2005
Co-authored books and collections
Books that list Luke Ong among their authors but not as the lead author: co-written works, collections and compilations.
Formal Methods and Software EngineeringZhenhua Duan
Formal Methods and Software Engineering
Zhenhua Duan · 2017
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008Giorgio Ausiello
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Giorgio Ausiello · 2010