Lectures on the Curry-Howard isomorphism.

Saved in:

Bibliografiske detaljer
Main Authors:	Sørensen, Morten Heine (Author), Urzyczyn, Paweł (Author)
Format:	Bog
Sprog:	engelsk
Udgivet:	Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Udgivelse:	First edition.
Serier:	Studies in logic and the foundations of mathematics, vol. 149
Fag:	Isomorfismo de Curry-Howard. Cálculo lambda
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Biblioteca Mayor de Ingeniería -

Detaljer om beholdninger fra Biblioteca Mayor de Ingeniería -
Klassifikationsnummer:	511.326 SOR 2006
Kopi 1	Tilgængelig Reservér”