Extracting ω's programs from proofs in the calculus of constructions

Publisher Website

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

p. 89-104
https://doi.org/10.1145/75277.75285

Abstract

No abstract available

Cited by 58 articles