Declarative Programming Research Group

The declarative programming research group investigates relationship of various, mostly classical logical formalisms to programming.

Group Focus

  • Logic and functional programming
  • Rewriting systems
  • Programming in first- and second-order formal arithmetic
  • Descriptive complexity

Members

Activities

Projects

Publications