16. LICS 2001:
Boston, Massachusetts, USA
16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings.
IEEE Computer Society 2001, ISBN 0-7695-1281-X
Invited Talk
Session 1
Invited Talk
Session 2
Session 3
Invited Talk
- Yuri Gurevich:
Logician in the Land of OS: Abstract State Machines in Microsoft.
129-136

Session 4
Invited Talk
Session 5
Session 6
- Kazushige Terui:
Light Affine Calculus and Polytime Strong Normalization.
209-220

- Frank Pfenning:
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory.
221-230

- Hongwei Xi:
Dependent Types for Program Termination Verification.
231-242

Short Paper Session
Invited Talk
Session 7
Session 8
Session 9
Short Papers
Session 10
Session 11
Last update Wed May 22 16:08:33 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page