| 000 | 00000nam u2200205 a 4500 | |
| 001 | 000046168779 | |
| 005 | 20240109135106 | |
| 008 | 240109s2002 000 0 eng d | |
| 010 | ▼a | |
| 020 | ▼a 9781402006074 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 082 | 0 4 | ▼a ▼2 23 |
| 084 | ▼a ▼2 DDCK | |
| 090 | ▼a ▼b | |
| 100 | 1 | ▼a Schwichtenberg. |
| 245 | 1 0 | ▼a Proof and System-Reliability : ▼b / ▼c Schwichtenberg. |
| 246 | 1 | ▼a : ▼b |
| 260 | ▼a : ▼b Springer, ▼c 2002. | |
| 300 | ▼a : ▼b ; ▼c + ▼e . | |
| 490 | 1 | ▼a ; ▼v |
| 500 | ▼a | |
| 650 | 0 | ▼a . |
| 700 | 1 | ▼a . |
| 830 | 0 | ▼a ▼v . |
| 900 | 1 0 | ▼a . |
| 945 | ▼a ITMT |
컨텐츠정보
책소개
Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks: A Brief Introduction; F. Pfenning. Ludics: An Introduction; J.-Y. Girard. Na?ve Computational Type Theory; R. Constable. Proof-Carrying Code. Design and Implementation; G. Necula. Abstractions and Reductions in Model Checking; O. Grumberg. Hoare Logic: From First Order to Propositional Formalism; J. Tiuryn. Hoare Logics in Isabelle/HOL; T. Nipkow. Proof Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.
정보제공 :
목차
Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks: A Brief Introduction; F. Pfenning. Ludics: An Introduction; J.-Y. Girard. Naive Computational Type Theory; R. Constable. Proof-Carrying Code. Design and Implementation; G. Necula. Abstractions and Reductions in Model Checking; O. Grumberg. Hoare Logic: From First Order to Propositional Formalism; J. Tiuryn. Hoare Logics in Isabelle/HOL; T. Nipkow. Proof Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.
정보제공 :