Matches in Library of Congress for { <http://lccn.loc.gov/94036650> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 94036650 contributor B7200226.
- 94036650 created "1995.".
- 94036650 date "1995".
- 94036650 date "1995.".
- 94036650 dateCopyrighted "1995.".
- 94036650 description "Includes bibliographical references (p. [215]-226) and indexes.".
- 94036650 extent "viii, 235 p. :".
- 94036650 identifier "081763763X (acid-free paper)".
- 94036650 identifier "376433763X (acid-free paper)".
- 94036650 isPartOf "Progress in theoretical computer science".
- 94036650 issued "1995".
- 94036650 issued "1995.".
- 94036650 language "eng".
- 94036650 publisher "Boston : Birkhäuser,".
- 94036650 subject "005.13/1 20".
- 94036650 subject "Human-computer interaction.".
- 94036650 subject "Programming languages (Electronic computers)".
- 94036650 subject "QA76.7 .D5 1995".
- 94036650 subject "Type theory.".
- 94036650 title "Isomorphisms of types : from [lambda]-calculus to information retrieval and language design / Roberto Di Cosmo.".
- 94036650 type "text".