Invited talk by prof. Francisco Pereira at NTU, Singapore