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


PRL Seminar | Introduction | Presenters | Previous Seminars | PRL Project