8 search results - page 2 / 2 » lics 1990 |
LICS
2008
IEEE
14 years 15 hour ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
LICS
1990
IEEE
13 years 9 months ago
1990
IEEE
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...