Publication details

Saarland University Computer Science

M-set Models

Chad E. Brown

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008


Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009