The Functional Interpretation of Direct Computations
Work
Year: 2011
Type: article
Abstract: The concept of direct computation used by Statman (1977) was instrumental in the development of a notion of normal form for proofs of equality. In order to find a functional (Curry–Howard style) inter... more
Cites: 37
Cited by: 1
Related to: 10
FWCI:
Citation percentile (by year/subfield): 56.55
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: gold