Declarative Programming Research Group
The declarative programming research group investigates relationship of various, mostly classical logical formalisms to programming.
- Logic and functional programming
- Rewriting systems
- Programming in first- and second-order formal arithmetic
- Descriptive complexity
Revision as of 09:31, 7 October 2015 by Kluka (Outline)