A compact kernel for the calculus of inductive constructions - Concepedia

Concepedia

Publication | Closed Access

A compact kernel for the calculus of inductive constructions

23

Citations

11

References

2009

Year

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, E. ̃Tassi

Automated ReasoningModel TheoryCompact KernelInductive InferenceComputability Theory

References

	Year	Citations

Page 1