Richard Molitor

	Contact

Publications

2015

• Open Inductive Predicates
  2015 : R. Molitor

Theses worked on

• Open inductive predicates (finished), masters thesis