Denis Mueller

Saarland University Computer Science

A Syntactic Theory of Finitary Sets

Author: Denis Mueller
Advisor: Steven Schaefer
Supervisor: Prof. Dr. Gert Smolka

Abstract

In this thesis, we give a formalization for hereditarily finite and finitary sets in Coq.

Attached Documents


Denis Mueller, Sat Aug 1 15:55:40 2015