Matches in Library of Congress for { <http://lccn.loc.gov/99176546> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 99176546 contributor B8733862.
- 99176546 contributor B8733863.
- 99176546 created "1995.".
- 99176546 date "1995".
- 99176546 date "1995.".
- 99176546 dateCopyrighted "1995.".
- 99176546 description "Basic theory of functionality. Analogies with propositional algebra / H.B. Curry and R. Feys -- The formulæ-as-types notion of construction / W.A. Howard -- On the roles of types in mathematics / N.G. de Bruijn -- On the correspondence between proofs and lamba-terms / J. Gallier -- Linear logic : a survey / J.-Y. Girard -- Realizability, set theory and term extraction / J. Lipton.".
- 99176546 description "Includes bibliographical references.".
- 99176546 extent "364 p. ;".
- 99176546 identifier "287209363X".
- 99176546 isPartOf "Cahiers du Centre de logique ; 8".
- 99176546 issued "1995".
- 99176546 issued "1995.".
- 99176546 language "eng".
- 99176546 publisher "Louvain-la-Neuve : Academia,".
- 99176546 subject "511.3 21".
- 99176546 subject "Curry-Howard isomorphism.".
- 99176546 subject "Lambda calculus.".
- 99176546 subject "Proof theory.".
- 99176546 subject "QA9.54 .C87 1995".
- 99176546 subject "Type theory.".
- 99176546 tableOfContents "Basic theory of functionality. Analogies with propositional algebra / H.B. Curry and R. Feys -- The formulæ-as-types notion of construction / W.A. Howard -- On the roles of types in mathematics / N.G. de Bruijn -- On the correspondence between proofs and lamba-terms / J. Gallier -- Linear logic : a survey / J.-Y. Girard -- Realizability, set theory and term extraction / J. Lipton.".
- 99176546 title "The Curry-Howard isomorphism / edited by Ph. de Groote.".
- 99176546 type "text".