Adapting proofs-as-programs
the Curry-Howard protocol
| LEADER | cam a22 4500 | ||
|---|---|---|---|
| 001 | 277844908 | ||
| 003 | CHVBK | ||
| 005 | 20201021195556.0 | ||
| 008 | 130818s2005 xxu||||| |||| 00 |eng d | ||
| 020 | |a 0-387-23759-3 | ||
| 024 | 7 | |a http://catalogue.bnf.fr/ark:/12148/cb40224636v |2 uri | |
| 035 | |a (RERO)R003963950 | ||
| 035 | |a (NEBIS)004988176 | ||
| 040 | |a RERO frbcuc | ||
| 072 | 7 | |a s1ma |2 rero | |
| 100 | 1 | |a Poernomo |D Iman Hafiz |0 (IDREF)099528231 |4 cre | |
| 245 | 1 | 0 | |a Adapting proofs-as-programs |b the Curry-Howard protocol |c Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing |
| 264 | 1 | |a New York |b Springer |c [2005] | |
| 264 | 4 | |c © 2005 | |
| 300 | |a XI, 420 p. |b ill. |c 24 cm | ||
| 490 | 1 | |a Monographs in computer science | |
| 650 | 7 | |a Théorie de la démonstration |0 (RERO)A021041825 |2 rero | |
| 650 | 7 | |a Types abstraits de données (informatique) |0 (RERO)A021034775 |2 rero | |
| 650 | 7 | |a Programmation fonctionnelle (informatique) |0 (RERO)A021036612 |2 rero | |
| 650 | 7 | |a Lambda-calcul |0 (RERO)A021011164 |2 rero | |
| 650 | 7 | |a Logiciels |0 (RERO)A021065168 |2 rero | |
| 650 | 7 | |a Développement |0 (RERO)A021028165 |2 rero | |
| 650 | 0 | |a Computer science | |
| 650 | 0 | |a Logic design | |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | |a Software engineering | |
| 650 | 7 | |a ALGEBRAISCHE SPEZIFIKATION (THEORIE DER PROGRAMMIERUNG) |x ger |0 (ETHUDK)000046086 |2 ethudk | |
| 650 | 7 | |a SPEZIFIKATIONEN (SOFTWARE ENGINEERING) |x ger |0 (ETHUDK)000013698 |2 ethudk | |
| 691 | 7 | |B u |a SPEZIFIKATIONEN (SOFTWARE ENGINEERING) |z ger |u 004*04*04*02 |2 nebis E1 | |
| 691 | 7 | |B u |a ALGEBRAISCHE SPEZIFIKATION (THEORIE DER PROGRAMMIERUNG) |z ger |u 004*04*02*01 |2 nebis E1 | |
| 691 | 7 | |B u |a SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL) |z fre |u 004*04*04*02 |2 nebis E1 | |
| 691 | 7 | |B u |a SPECIFICATIONS (SOFTWARE ENGINEERING) |z eng |u 004*04*04*02 |2 nebis E1 | |
| 691 | 7 | |B u |a SPECIFICATION ALGEBRIQUE (THÉORIE DE LA PROGRAMMATION) |z fre |u 004*04*02*01 |2 nebis E1 | |
| 691 | 7 | |B u |a ALGEBRAIC SPECIFICATION (THEORY OF PROGRAMMING) |z eng |u 004*04*02*01 |2 nebis E1 | |
| 700 | 1 | |a Crossley |D John N. |0 (IDREF)081808828 | |
| 700 | 1 | |a Wirsing |D Martin |d 1948- |0 (IDREF)076307174 | |
| 830 | 0 | |a Monographs in computer science |p Springer |w (RERO)002277022 | |
| 898 | |a BK020000 |b XK020000 |c XK020000 | ||
| 912 | 7 | |a 094 |2 E01-20060306 | |
| 949 | |B RERO |F RE01046 |b RE01046 |c RE010460003 |j DIUF 1.6.5 |s TIB 2835 | ||
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j NEZ 210 | ||
| 949 | |B NEBIS |F E30 |b E30 |c E30BI |j NEZ 210: EX.2 | ||
| 949 | |B NEBIS |F E01 |b E01 |c MG |j 785850 | ||
| 950 | |B RERO |P 100 |E 1- |a Poernomo |D Iman Hafiz |0 (IDREF)099528231 |4 cre | ||
| 950 | |B RERO |P 490 |E 1- |a Monographs in computer science | ||
| 950 | |B RERO |P 700 |E 1- |a Crossley |D John N. |0 (IDREF)081808828 | ||
| 950 | |B RERO |P 700 |E 1- |a Wirsing |D Martin |d 1948- |0 (IDREF)076307174 | ||
| 950 | |B RERO |P 830 |E -- |a Monographs in computer science |p Springer |w (RERO)002277022 | ||
| 950 | |B NEBIS |P 490 |E -- |a Monographs in computer science | ||
| 950 | |B NEBIS |P 700 |E 1- |a Poernomo |D Iman Hafiz | ||
| 950 | |B NEBIS |P 700 |E 1- |a Crossley |D John N. | ||
| 950 | |B NEBIS |P 700 |E 1- |a Wirsing |D Martin |d 1948- |0 (DE-588)14353582X | ||
| 956 | 4 | |B NEBIS |C EAD50 |D EBI01 |a E01 |u https://opac.nebis.ch/objects/pdf/000126890_e01_0387237593_02.pdf |y Abstract / Autoreninformation |x VIEW |q pdf | |
| 986 | |a SWISSBIB |b 277844908 | ||