PRL Seminar Topics

• Applications
• Complexity
• Constructivism
• Digital Libraries
• Ensemble
• Evaluation
• Special Topics
• HOL
• Interaction between Systems
• Intersection Types
• Logical Programming Environment
• Meta-PRL
• Notation and Editing
• Nuprl
• Objects
• Polymorphism
• Programming
• Proof (includes structure and methods)
• Realizability (includes extraction from proofs
• Reflection
• Semantics
• Type Inference
• Type Theory
• Programming Languages
• Theory