Curry howard isomorphism
Auteur :
CAHIERS DU CENTRE LO
Éditeur :
ACADEMIA
ISBN :
9782872093632
Date de publication :
30 oct. 1998
Poids :
g
Langue :
Français