Matches in Library of Congress for { <http://lccn.loc.gov/99044953> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 99044953 contributor B8668541.
- 99044953 created "2000.".
- 99044953 date "2000".
- 99044953 date "2000.".
- 99044953 dateCopyrighted "2000.".
- 99044953 description "Includes bibliographical references (p. 375-376) and index.".
- 99044953 extent "xxv, 384 p. ;".
- 99044953 identifier "0521771730 (hb)".
- 99044953 identifier 99044953.html.
- 99044953 identifier 99044953.html.
- 99044953 isPartOf "Cambridge tracts in theoretical computer science ; 51".
- 99044953 issued "2000".
- 99044953 issued "2000.".
- 99044953 language "eng".
- 99044953 publisher "Cambridge ; New York : Cambridge University Press,".
- 99044953 subject "511.3 21".
- 99044953 subject "Curry-Howard isomorphism.".
- 99044953 subject "Lambda calculus.".
- 99044953 subject "Proof theory.".
- 99044953 subject "QA9.54 .S55 2000".
- 99044953 subject "Type theory.".
- 99044953 title "Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.".
- 99044953 type "text".