Matches in Library of Congress for { <http://lccn.loc.gov/93021883> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 93021883 contributor B6915544.
- 93021883 contributor B6915545.
- 93021883 created "c1993.".
- 93021883 date "1993".
- 93021883 date "c1993.".
- 93021883 dateCopyrighted "c1993.".
- 93021883 description "Includes bibliographical references and index.".
- 93021883 extent "viii, 432 p. :".
- 93021883 identifier "0387565175 (New York : acid-free paper)".
- 93021883 identifier "3540565175 (Berlin : acid-free paper)".
- 93021883 identifier 93021883-d.html.
- 93021883 isPartOf "Lecture notes in computer science ; 664".
- 93021883 issued "1993".
- 93021883 issued "c1993.".
- 93021883 language "eng".
- 93021883 publisher "Berlin ; New York : Springer-Verlag,".
- 93021883 subject "511.3 20".
- 93021883 subject "Lambda calculus Congresses.".
- 93021883 subject "QA9.5 .I58 1993".
- 93021883 title "Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / M. Bezem, J.F. Groote (eds.).".
- 93021883 type "text".