Program Extraction from Large Proof Developments

L. Cruz-Filipe ; Spitters, Bas

Proceedings of TPHOLs 2003

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.