Lista de

Type Systems for Computer Assisted Proofs
1
Type Systems for Computer Assisted Proofs (2004). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación