Some people argue that totality isn't enough, you really want a feasible (polytime) language. http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbil10es

Some people argue that totality isn't enough, you really want a feasible (polytime) language. http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbil10esop-draft.pdf http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbi... ;-)