The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

Lambda calculus

LC control no.sh 85074174
LC classificationQA9.5
Topical headingLambda calculus
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Calculus, Lambda
See alsoLogic, Symbolic and mathematical
    Browse this term in  LC Authorities