Luke Ong · 6 obras en el catálogoObrasTyped Lambda Calculi and ApplicationsFoundations of Software Science and Computational StructuresLogic, Language, Information and ComputationFifth IFIP International Conference on Theoretical Computer Science - TCS 2008Formal Methods and Software EngineeringComputer Science Logic