Lectures on the Curry-Howard isomorphism.
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Amsterdam, The Netherlands; Boston, USA:
Elsevier,
2006.
|
| Vydání: | First edition. |
| Edice: | Studies in logic and the foundations of mathematics,
vol. 149 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 14403842 | ||
| 003 | CL-VaPUC | ||
| 005 | 20240126132124.0 | ||
| 008 | 060607s2007 ne a b 001 0 eng | ||
| 999 | |c 442925 |d 442923 | ||
| 010 | |a 2006048390 | ||
| 020 | |a 978-0-444-54596-1 | ||
| 040 | |a DLC |c Pontificia Universidad Católica de Valparaíso |d DLC | ||
| 082 | 0 | 0 | |a 511.326 SOR 2006 |2 22 |
| 100 | 1 | |a Sørensen, Morten Heine. |e author |9 887033 | |
| 245 | 1 | 0 | |a Lectures on the Curry-Howard isomorphism. |
| 250 | |a First edition. | ||
| 260 | |a Amsterdam, The Netherlands; |a Boston, USA: |b Elsevier, |c 2006. | ||
| 300 | |a xiv, 442 páginas. | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics, |x 0049-237X ; |v vol. 149 | |
| 500 | |a c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023 | ||
| 504 | |a Includes bibliographical references (p. 403-430) and index. | ||
| 583 | |c 20240109 |k GC | ||
| 650 | 0 | |a Isomorfismo de Curry-Howard. |9 887034 | |
| 650 | 0 | |a Cálculo lambda |9 887035 | |
| 700 | 1 | |a Urzyczyn, Paweł. |e author |9 887036 | |
| 942 | |2 ddc |c BK | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 511_326000000000000_SOR_2006 |7 0 |8 A |9 593224 |a BIBING |b BIBING |d 2024-01-09 |e Donación |i 5660040 |o 511.326 SOR 2006 |p 5660040 |r 2025-01-20 |t 1 |w 2024-01-09 |y BK |k CCI | ||