A Modern Perspective on Type Theory [recurso electrónico] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Tipo de material:
No hay ítems correspondientes a este registro
Acceso sólo para usuarios de REDUNAM
Disponible también en formato impreso
Reproducción electrónica. New York : Springer, [2009]
Springer ; 5524411 ; DGB ; Permanente ; 2009/08/11
No hay comentarios en este titulo.