Coverart for item
The Resource [Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm

Label
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Title
[Lambda]-calculus and computer science theory
Title remainder
proceedings of the symposium held in Rome, March 25-27, 1975
Statement of responsibility
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
Creator
Contributor
Subject
Genre
Language
  • eng
  • fre
  • eng
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
511/.3
Illustrations
illustrations
Index
no index present
Language note
English or French
LC call number
QA9.5
LC item number
.L35 1975
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1975
http://bibfra.me/vocab/lite/meetingName
Symposium on Symbol for Lambda-Calculus and Computer Science Theory
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1923-
http://library.link/vocab/relatedWorkOrContributorName
  • Böhm, C.
  • Istituto per le applicazioni del calcolo
Series statement
Lecture notes in computer science
Series volume
37
http://library.link/vocab/subjectName
  • Combinatory logic
  • Programming languages (Electronic computers)
  • Langages de programmation
  • Logique combinatoire
  • Combinatory logic
  • Programming languages (Electronic computers)
  • Lambda-calculus
  • Computer Science
  • Mathematical Logic and Formal Languages
  • Mathematical Logic and Foundations
Label
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Combinators and classes -- Least fixed points revisited -- Infinite normal forms for the?-calculus -- A survey of some useful partial order relations on terms of the lambda calculus --?-Terms as total or partial functions on normal forms -- Continuous semantics and inside-out reductions -- An algebraic interpretation of the??K-calculus and a labelled?-calculus -- Les modeles informatiques des?-calculs -- On the description of time varying systems in?-calculus -- Unification in typed lambda calculus -- A condition for identifying two elements of whatever model of combinatory logic -- Typed meaning in Scott's?-calculus models -- Programming language semantics in a typed lambda-calculus -- Big trees in a?-calculus with?-expressions as types -- Normed uniformly reflexive structures -- A model with nondeterministic computation -- On subrecursiveness in weak combinatory logic -- Sequentially and parallelly computable functionals -- Computation on arbitrary algebras -- On solvability by?I-terms -- Some philosophical issues concerning theories of combinators -- Open problems
Control code
569508687
Dimensions
unknown
Extent
1 online resource (xii, 370 pages)
Form of item
online
Isbn
9783540379447
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)569508687
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Combinators and classes -- Least fixed points revisited -- Infinite normal forms for the?-calculus -- A survey of some useful partial order relations on terms of the lambda calculus --?-Terms as total or partial functions on normal forms -- Continuous semantics and inside-out reductions -- An algebraic interpretation of the??K-calculus and a labelled?-calculus -- Les modeles informatiques des?-calculs -- On the description of time varying systems in?-calculus -- Unification in typed lambda calculus -- A condition for identifying two elements of whatever model of combinatory logic -- Typed meaning in Scott's?-calculus models -- Programming language semantics in a typed lambda-calculus -- Big trees in a?-calculus with?-expressions as types -- Normed uniformly reflexive structures -- A model with nondeterministic computation -- On subrecursiveness in weak combinatory logic -- Sequentially and parallelly computable functionals -- Computation on arbitrary algebras -- On solvability by?I-terms -- Some philosophical issues concerning theories of combinators -- Open problems
Control code
569508687
Dimensions
unknown
Extent
1 online resource (xii, 370 pages)
Form of item
online
Isbn
9783540379447
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)569508687
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...