Lista de

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