Lectures on the Curry-Howard Isomorphism

Detalles Bibliográficos
Autor principal: Urzyczyn, Pawel
Lenguaje:eng
Publicado: Elsevier 2006
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/1085199

Internet

http://cds.cern.ch/record/1085199

Ejemplares similares