## Program Extraction in simply-typed Higher Order Logic (2002)

### Cached

### Download Links

by
Stefan Berghofer

Venue: | Types for Proofs and Programs (TYPES 2002), LNCS 2646 |

Citations: | 9 - 2 self |