The implicit calculus of constructions as a programming language with dependent types

Cached

Download Links

by Bruno Barras , Bruno Bernardo
Venue:In Amadio [6
Citations:29 - 1 self