Bidirectional Typing for the Calculus of Inductive Constructions

This thesis broadly considers the question of giving a bidirectional treat- ment of the Calculus of Constructions (CIC), which underpins the ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A