Denis Mueller
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
Legal notice, Privacy policy
