Elements of Constructive Geometry, Group Theory, and Domain Theory

This development consists of 3 independent parts: - Constructive Geometry following Jan von Plato. - Group Theory following the book "Group Theory" from W.R. Scott. - Domain theory as devised by Scott and Plotkin and following Kahn and Plotkin paper on Concrete Domains

Download (archive compatible with Coq V7.3)

Author: Gilles Kahn

Institution: INRIA Sophia-Antipolis

Keywords: Group Theory, Constructive Geometry, Domain Theory, Concrete Domains

This page was automatically generated from this description file.