Matches in Library of Congress for { <http://lccn.loc.gov/91026116> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 91026116 contributor B6379089.
- 91026116 created "1991.".
- 91026116 date "1991".
- 91026116 date "1991.".
- 91026116 dateCopyrighted "1991.".
- 91026116 description "Includes bibliographical references (p. 292-295) and index.".
- 91026116 extent "xii, 298 p. :".
- 91026116 identifier "0817635947 (hard : acid-free) :".
- 91026116 identifier "3764335947 (hard : acid-free) :".
- 91026116 isPartOf "Progress in theoretical computer science".
- 91026116 issued "1991".
- 91026116 issued "1991.".
- 91026116 language "eng".
- 91026116 publisher "Boston : Birkhäuser,".
- 91026116 subject "005.13 20".
- 91026116 subject "Functional programming (Computer science)".
- 91026116 subject "Programming languages (Electronic computers) Semantics.".
- 91026116 subject "QA76.7 .S82 1991".
- 91026116 subject "Type theory.".
- 91026116 title "Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher.".
- 91026116 type "text".