| Constructive
Proofs and Program Extraction
|
| Christoph Kreitz, Frebruary 23, 2004
|
| The
Calculemus Autumn School
|
| Christoph Kreitz, Matthew Fluet, and Sabina Petride, October 28, 2002
|
| Enhancing Proof Assistant Systems
|
| Christoph Kreitz, February 25, 2002
|
| Continuing discussion of embedded systems
|
| Christoph Kreitz, November 5, 2001
|
| Proof Automation in Constructive Type Theory
|
| Christoph Kreitz, September 17, 2001
|
Dead Code Elimination
| Ozan Hafizogullari and Christoph Kreitz, January 27, 1998 |
|