Luke Ong
4 published titles
Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, proceedings
(Contributor)
1 edition
- ISBN: 9783540282310
- Springer
- 2005
- Details
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642216909
- Springer
- 2011
- Details
Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642326202
- Springer
- 2012
- Details
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 9783642381638
- Springer
- 2013
- Details
