Luke Ong profile picture

Luke Ong

Is this your author profile? Create an account to customize it!

Stand Alone

Typed Lambda Calculi and Applications
Foundations of Software Science and Computational Structures
Logic, Language, Information and Computation
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Computer Science Logic
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Typed Lambda Calculi and Applications
Fifth International Conference on Theoretical Aspects of Software Engineering Proceedings, TASE 2011, 29-31 August 2011, Xi'an, Shaanxi, China
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations - the Many Facets of Samson Abramsky

See All