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

View PDF

Download Links

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