Types for proofs and programs
International Workshop on Types for Proofs and Programs (1995 : Torino, Italy)
creator
Berardi, Stefano
ed.
Coppo, Mario
1947-
ed.,
text
gw|
Berlin
Springer
1996
monographic
ng
x, 296 p. : il. ; 24 cm.
edited by Stefano Berardi, Mario Coppo.
Lógica matemática-Computación-
Mathematical logic-Computation-
Programas-Especificación. -
Programs-Specification
Programas-Verificación
Programs-Verification
Construcción y características del lenguaje
Language constructs and features
Deducción y prueba de teoremas
Deduction and theorem proving
Lecture notes in computer science ; v. 1158
LNCS ; v. 1158
3540617809
AR_CdUFM
110516
20171204172347.0