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

Revision as of 08:31, 7 October 2015 by Kluka (Talk | contribs) (Outline)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)