Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Extracting ω's programs from proofs in the calculus of constructions
Home
Publications
Extracting ω's programs from proofs in the calculus of constructions
Extracting ω's programs from proofs in the calculus of constructions
CP
C. Paulin-Mohring
C. Paulin-Mohring
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1989
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
89-104
https://doi.org/10.1145/75277.75285
Abstract
No abstract available
Keywords
CALCULUS OF CONSTRUCTIONS
Cited by 57 articles