A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory (1997)

Cached

Download Links

by Cesar Munoz , C'esar A. Mu~noz H , C'esar A. Mu~noz H , Projet Coq
Citations:16 - 1 self