Explore: Combinatory Logic

“Recursive programming techniques” Metadata:

• Title: ➤  Recursive programming techniques
• Author: William H. Burge
• Language: English
• Number of Pages: Median: 277
• Publisher: Addison-Wesley Pub. Co.
• Publish Date: 1975
• Publish Location: Reading, Mass

“Recursive programming techniques” Subjects and Themes:

• Subjects: Combinatory logic - Recursive programming

Edition Identifiers:

• The Open Library ID: OL5063317M
• Online Computer Library Center (OCLC) ID: 1727899
• Library of Congress Control Number (LCCN): 74028812
• All ISBNs: 9780201144505 - 0201144506

“Introduction to combinators and [lambda]-calculus” Metadata:

• Title: ➤  Introduction to combinators and [lambda]-calculus
• Author: J. Roger Hindley
• Language: English
• Number of Pages: Median: 360
• Publisher: Cambridge University Press
• Publish Date: 1986
• Publish Location: ➤  Cambridge [Cambridgeshire] - New York

“Introduction to combinators and [lambda]-calculus” Subjects and Themes:

• Subjects: Combinatory logic - Lambda calculus - Combinatorial analysis - Calculus

Edition Identifiers:

• The Open Library ID: OL2547951M
• Online Computer Library Center (OCLC) ID: 12969510
• Library of Congress Control Number (LCCN): 85029908
• All ISBNs: 9780521318396 - 0521268966 - 9780521268967 - 0521318394

“Casebook in correctional casework” Metadata:

• Title: ➤  Casebook in correctional casework
• Author: ➤  Council on Social Work Education. Committee on Corrections.
• Language: English
• Number of Pages: Median: 66
• Publisher: ➤  Council on Social Work Education
• Publish Date: 1958
• Publish Location: New York

“Casebook in correctional casework” Subjects and Themes:

• Subjects: ➤  Social work with delinquents and criminals - Combinatory logic - Social work with criminals

Edition Identifiers:

• The Open Library ID: OL6266396M
• Online Computer Library Center (OCLC) ID: 5762823
• Library of Congress Control Number (LCCN): a59001593

“[Lambda]-calculus and combinators” Metadata:

• Title: ➤  [Lambda]-calculus and combinators
• Author: J. Roger Hindley
• Language: English
• Number of Pages: Median: 358
• Publisher: Cambridge University Press
• Publish Date: 2008
• Publish Location: New York

“[Lambda]-calculus and combinators” Subjects and Themes:

• Subjects: Combinatory logic - Lambda calculus - Calculus - Logic

Edition Identifiers:

• The Open Library ID: OL18844941M
• Library of Congress Control Number (LCCN): 2008006276
• All ISBNs: 9780521898850 - 0521898854

“The Combinatory Programme (Progress in Theoretical Computer Science)” Metadata:

• Title: ➤  The Combinatory Programme (Progress in Theoretical Computer Science)
• Author: Erwin Engeler
• Language: English
• Number of Pages: Median: 149
• Publisher: ➤  Birkhäuser Boston - Birkhäuser
• Publish Date: 1994 - 1995
• Publish Location: Boston

“The Combinatory Programme (Progress in Theoretical Computer Science)” Subjects and Themes:

• Subjects: Combinatory logic - Combinatorial analysis

Edition Identifiers:

• The Open Library ID: OL8074532M - OL1110868M
• Online Computer Library Center (OCLC) ID: 31166605
• Library of Congress Control Number (LCCN): 94036651
• All ISBNs: 3764338016 - 0817638016 - 9783764338015 - 9780817638016

“Coding, cryptography, and combinatorics” Metadata:

• Title: ➤  Coding, cryptography, and combinatorics
• Author: ➤  Workshop on Coding, Cryptography, and Combinatorics (2003 Huangshan Shi, China)
• Language: English
• Number of Pages: Median: 405
• Publisher: Birkhäuser - Birkhäuser Basel
• Publish Date: 2004
• Publish Location: Basel - Boston

“Coding, cryptography, and combinatorics” Subjects and Themes:

• Subjects: ➤  Congresses - Combinatory logic - Arithmetical algebraic geometry - Coding theory - Cryptography

Edition Identifiers:

• The Open Library ID: OL19291635M - OL9764139M
• Library of Congress Control Number (LCCN): 2004048526
• All ISBNs: 0817624295 - 9783764324292 - 9780817624293 - 3764324295

“Algebra of proofs” Metadata:

• Title: Algebra of proofs
• Author: M. E. Szabo
• Language: English
• Number of Pages: Median: 304
• Publisher: ➤  Elsevier Science & Technology Books - North-Holland Pub. Co. - sole distributors for the U.S.A. and Canada, Elsevier North-Holland
• Publish Date: 1978 - 2016
• Publish Location: New York - Amsterdam

“Algebra of proofs” Subjects and Themes:

• Subjects: Categories (Mathematics) - Combinatory logic - Proof theory

Edition Identifiers:

• The Open Library ID: OL34528260M - OL4534960M
• Online Computer Library Center (OCLC) ID: 2799077
• Library of Congress Control Number (LCCN): 77000706
• All ISBNs: 1483275426 - 0720422868 - 9781483275420 - 9780720422863

“[Lambda] - calculus and computer science theory” Metadata:

• Title: ➤  [Lambda] - calculus and computer science theory
• Author: ➤  Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
• Languages: fre - English
• Number of Pages: Median: 370
• Publisher: Springer-Verlag
• Publish Date: 1975
• Publish Location: Berlin - New York

“[Lambda] - calculus and computer science theory” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Congresses - Programming languages (Electronic computers) - Langages de programmation - Congrès - Logique combinatoire - Datenverarbeitung - Kombinatorische Logik - Lambda-Kalkül - Logik - Metamathematik - Programmiersprache - Kongress - Lambda-calculus

Edition Identifiers:

• The Open Library ID: OL22179320M - OL15274156M
• Online Computer Library Center (OCLC) ID: 1849004
• Library of Congress Control Number (LCCN): 75033375
• All ISBNs: 9780387074160 - 0387074163 - 9783540074168 - 3540074163

“Set theory based on combinatory logic” Metadata:

• Title: ➤  Set theory based on combinatory logic
• Author: Maarten Wicher Visser Bunder
• Language: English
• Number of Pages: Median: 80
• Publisher: ➤  V. R. B. --Offsetdrukkerij (Kleine der A 3-4)
• Publish Date: 1969
• Publish Location: Groningen

“Set theory based on combinatory logic” Subjects and Themes:

• Subjects: Axiomatic set theory - Combinatory logic

Edition Identifiers:

• The Open Library ID: OL5768429M
• Online Computer Library Center (OCLC) ID: 52331
• Library of Congress Control Number (LCCN): 71438353

“Lambda-calculus models of programming languages” Metadata:

• Title: ➤  Lambda-calculus models of programming languages
• Author: James Hiram Morris
• Language: English
• Number of Pages: Median: 131
• Publisher: ➤  Massachusetts Institute of Technology, Project MAC; available from the Clearinghouse for Federal Scientific and Technical Information, Springfield, Va.]
• Publish Date: 1968
• Publish Location: [Cambridge

“Lambda-calculus models of programming languages” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Programming languages (Electronic computers)

Edition Identifiers:

• The Open Library ID: OL5712706M
• Library of Congress Control Number (LCCN): 70246122

“Combinatory reduction systems” Metadata:

• Title: Combinatory reduction systems
• Author: J. W. Klop
• Language: English
• Number of Pages: Median: 317
• Publisher: Mathematisch centrum
• Publish Date: 1980
• Publish Location: Amsterdam

“Combinatory reduction systems” Subjects and Themes:

• Subjects: Combinatory logic - Lambda calculus - Recursive programming - Combinatorial topology - Calculus

Edition Identifiers:

• The Open Library ID: OL3853343M
• Online Computer Library Center (OCLC) ID: 7436902
• Library of Congress Control Number (LCCN): 81172011
• All ISBNs: 9789061962007 - 9061962005

“Kombinatornye prostranstva i rekursivnostʹ v nikh” Metadata:

• Title: ➤  Kombinatornye prostranstva i rekursivnostʹ v nikh
• Author: Dimitŭr Genchev Skordev
• Language: rus
• Number of Pages: Median: 454
• Publisher: ➤  Izd-vo Bolgarskoĭ akademii nauk
• Publish Date: 1980
• Publish Location: Sofii͡a︡

“Kombinatornye prostranstva i rekursivnostʹ v nikh” Subjects and Themes:

• Subjects: Combinatory logic - Recursion theory

Edition Identifiers:

• The Open Library ID: OL3917493M
• Library of Congress Control Number (LCCN): 81483637

“A bibliography of lambda-calculi, combinatory logics and related topics” Metadata:

• Title: ➤  A bibliography of lambda-calculi, combinatory logics and related topics
• Author: A. Rezus
• Language: English
• Number of Pages: Median: 86
• Publisher: Mathematisch Centrum
• Publish Date: 1982
• Publish Location: Amsterdam

“A bibliography of lambda-calculi, combinatory logics and related topics” Subjects and Themes:

• Subjects: Combinatory logic - Bibliography - Lambda calculus

Edition Identifiers:

• The Open Library ID: OL52852628M
• Online Computer Library Center (OCLC) ID: 9486300
• All ISBNs: 9789061962342 - 906196234X

“Introduction to combinatory logic” Metadata:

• Title: ➤  Introduction to combinatory logic
• Author: J. Roger Hindley
• Language: English
• Number of Pages: Median: 170
• Publisher: University Press
• Publish Date: 1972
• Publish Location: Cambridge [Eng.]

“Introduction to combinatory logic” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL5106811M
• Online Computer Library Center (OCLC) ID: 381527
• Library of Congress Control Number (LCCN): 74179165
• All ISBNs: 0521096979 - 9780521096973

“Lambda-calculus, combinators, and functional programming” Metadata:

• Title: ➤  Lambda-calculus, combinators, and functional programming
• Author: György E. Révész
• Language: English
• Number of Pages: Median: 181
• Publisher: Cambridge University Press
• Publish Date: 1988
• Publish Location: New York - Cambridge [England]

“Lambda-calculus, combinators, and functional programming” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Functional programming languages - Lambda calculus - Computer programming

Edition Identifiers:

• The Open Library ID: OL2405808M
• Online Computer Library Center (OCLC) ID: 17298849
• Library of Congress Control Number (LCCN): 87036800
• All ISBNs: 0521345898 - 9780521345897

“Prädikatenlogik ohne gebundene Variablen” Metadata:

• Title: ➤  Prädikatenlogik ohne gebundene Variablen
• Author: Jürgen Bartnick
• Language: ger
• Number of Pages: Median: 84
• Publisher: P. Lang
• Publish Date: 1980
• Publish Location: Frankfurt am Main

“Prädikatenlogik ohne gebundene Variablen” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Cylindric algebras - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL3816383M
• Online Computer Library Center (OCLC) ID: 22209003
• Library of Congress Control Number (LCCN): 81124905
• All ISBNs: 9783820468106 - 3820468102

“On the interpretation of terms without a normal form” Metadata:

• Title: ➤  On the interpretation of terms without a normal form
• Author: H. P. Barendregt
• Language: English
• Number of Pages: Median: 18
• Publisher: ➤  Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6)
• Publish Date: 1971
• Publish Location: Utrecht

“On the interpretation of terms without a normal form” Subjects and Themes:

• Subjects: Combinatory logic

Edition Identifiers:

• The Open Library ID: OL5087856M
• Library of Congress Control Number (LCCN): 74159205

“Combinators and functional programming languages” Metadata:

• Title: ➤  Combinators and functional programming languages
• Author: ➤  Ecole de printemps d'informatique théorique (13th 1985 Le Val d'Ajol, France)
• Language: English
• Number of Pages: Median: 208
• Publisher: Springer-Verlag
• Publish Date: 1986
• Publish Location: New York - Berlin

“Combinators and functional programming languages” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Congresses - Functional programming languages

Edition Identifiers:

• The Open Library ID: OL2736850M
• Online Computer Library Center (OCLC) ID: 14932290
• Library of Congress Control Number (LCCN): 86031324
• All ISBNs: 0387171843 - 9780387171845

“Some extensional term models for combinatory logics and [lambda]-calculi” Metadata:

• Title: ➤  Some extensional term models for combinatory logics and [lambda]-calculi
• Author: H. P. Barendregt
• Language: English
• Number of Pages: Median: 140
• Publish Date: 1971

“Some extensional term models for combinatory logics and [lambda]-calculi” Subjects and Themes:

• Subjects: Combinatory logic - Recursive functions

Edition Identifiers:

• The Open Library ID: OL57237719M
• Online Computer Library Center (OCLC) ID: 62063743

“Introduction to combinatory logic” Metadata:

• Title: ➤  Introduction to combinatory logic
• Author: Sören Stenlund
• Language: English
• Number of Pages: Median: 104
• Publisher: ➤  Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen
• Publish Date: 1971
• Publish Location: Uppsala

“Introduction to combinatory logic” Subjects and Themes:

• Subjects: Combinatory logic

Edition Identifiers:

• The Open Library ID: OL5030510M
• Library of Congress Control Number (LCCN): 73873581

“Opere lulliane” Metadata:

• Title: Opere lulliane
• Author: Giordano Bruno
• Language: ita
• Number of Pages: Median: 595
• Publisher: Adelphi
• Publish Date: 2012
• Publish Location: Milano

“Opere lulliane” Subjects and Themes:

• Subjects: Early works to 1800 - Combinatory logic
• People: Ramon Llull (1232?-1316)

Edition Identifiers:

• The Open Library ID: OL30712117M
• Online Computer Library Center (OCLC) ID: 794703582
• Library of Congress Control Number (LCCN): 2012442619
• All ISBNs: 9788845927072 - 8845927075

“Combinators and functional programming languages” Metadata:

• Title: ➤  Combinators and functional programming languages
• Language: English
• Number of Pages: Median: 208
• Publisher: Springer-Verlag
• Publish Date: 1986

“Combinators and functional programming languages” Subjects and Themes:

• Subjects: ➤  Congresses - Combinatory logic - Functional programming languages

Edition Identifiers:

• The Open Library ID: OL7443777M
• All ISBNs: 9780387171845 - 0387171843

“Algebra, combinatorics and logic in computer science” Metadata:

• Title: ➤  Algebra, combinatorics and logic in computer science
• Author: ➤  Colloquim on Algebra, Combinatorics and Logic in Computer Science (1983 Györ, Hungary)
• Language: English
• Publisher: North Holland
• Publish Date: 1986
• Publish Location: Amsterdam - New York

“Algebra, combinatorics and logic in computer science” Subjects and Themes:

• Subjects: ➤  Algebra, Boolean - Boolean Algebra - Combinatory logic - Computer programs - Correctness - Logic, Symbolic and mathematical - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL22141245M
• All ISBNs: 9780444877581 - 0444877584 - 9780444878526 - 0444878521

“Many-valued multi-threshold logic” Metadata:

• Title: ➤  Many-valued multi-threshold logic
• Author: Aldo Druzeta
• Language: English
• Number of Pages: Median: 130
• Publisher: Sine nomine
• Publish Date: 1974
• Publish Location: [Toronto?

“Many-valued multi-threshold logic” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Logic, Symbolic and mathematical - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL19412104M

“Studies in illative combinatory logic” Metadata:

• Title: ➤  Studies in illative combinatory logic
• Author: J. P. Seldin
• Language: English
• Number of Pages: Median: 150
• Publisher: V.R.B. Offsetdrukkerij
• Publish Date: 1968
• Publish Location: Groningen

“Studies in illative combinatory logic” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Logic, Symbolic and mathematical - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL14256780M

“Models of the lambda calculus” Metadata:

• Title: Models of the lambda calculus
• Author: C. P. J. Koymans
• Language: English
• Number of Pages: Median: 181
• Publisher: ➤  Centrum voor Wiskunde en Informatica
• Publish Date: 1984
• Publish Location: Amsterdam

“Models of the lambda calculus” Subjects and Themes:

• Subjects: Lambda calculus - Combinatory logic - Mathematical models

Edition Identifiers:

• The Open Library ID: OL15149135M
• Online Computer Library Center (OCLC) ID: 11474386
• All ISBNs: 9789061962755 - 9061962757

“Combinatory logic” Metadata:

• Title: Combinatory logic
• Author: Haskell B. Curry
• Language: English
• Publisher: North-Holland Pub. Co.
• Publish Date: 1958
• Publish Location: Amsterdam

“Combinatory logic” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL215745M
• Online Computer Library Center (OCLC) ID: 373234
• Library of Congress Control Number (LCCN): a59001593
• All ISBNs: 0720422086 - 9780720422085

“Abstract automath” Metadata:

• Title: Abstract automath
• Author: A. Rezus
• Language: English
• Number of Pages: Median: 188
• Publisher: Mathematisch Centrum
• Publish Date: 1983
• Publish Location: Amsterdam

“Abstract automath” Subjects and Themes:

• Subjects: Lambda calculus - AUTOMATH (Formal language) - Combinatory logic

Edition Identifiers:

• The Open Library ID: OL19230994M
• Online Computer Library Center (OCLC) ID: 9926189
• All ISBNs: 9789061962564 - 9061962560

“Combinatory semantics” Metadata:

• Title: Combinatory semantics
• Author: Jerzy Pogonowski
• Language: English
• Number of Pages: Median: 110
• Publisher: ➤  Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza w Poznaniu
• Publish Date: 1993
• Publish Location: Poznań

“Combinatory semantics” Subjects and Themes:

• Subjects: Combinatory logic - Semantics (Philosophy) - Semantics - Neo-Kantianism - German Philosophy

Edition Identifiers:

• The Open Library ID: OL1047264M
• Online Computer Library Center (OCLC) ID: 33132299
• Library of Congress Control Number (LCCN): 93248082 - 94149050
• All ISBNs: 8323204829 - 9788323204824

“Combinators, l-terms and proof theory” Metadata:

• Title: ➤  Combinators, l-terms and proof theory
• Author: Sören Stenlund
• Language: English
• Number of Pages: Median: 184
• Publisher: D. Reidel
• Publish Date: 1972
• Publish Location: Dordrecht

“Combinators, l-terms and proof theory” Subjects and Themes:

• Subjects: Combinatory logic - Proof theory

Edition Identifiers:

• The Open Library ID: OL18653772M

“[Lambda]-calculus and computer science theory” Metadata:

• Title: ➤  [Lambda]-calculus and computer science theory
• Language: English
• Number of Pages: Median: 370
• Publisher: Springer-Verlag
• Publish Date: 1975
• Publish Location: Berlin - New York

“[Lambda]-calculus and computer science theory” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Congresses - Programming languages (Electronic computers)

Edition Identifiers:

• The Open Library ID: OL5207167M
• Library of Congress Control Number (LCCN): 75033375
• All ISBNs: 9780387074160 - 0387074163

“Elements of combinatory logic” Metadata:

• Title: Elements of combinatory logic
• Author: Frederic B. Fitch
• Language: English
• Number of Pages: Median: 162
• Publisher: Yale University Press
• Publish Date: 1974
• Publish Location: New Haven

“Elements of combinatory logic” Subjects and Themes:

• Subjects: Combinatory logic - Logic

Edition Identifiers:

• The Open Library ID: OL5438070M
• Online Computer Library Center (OCLC) ID: 959909
• Library of Congress Control Number (LCCN): 73086892
• All ISBNs: 0300015232 - 9780300015232

“Combinators and functional programming languages” Metadata:

• Title: ➤  Combinators and functional programming languages
• Author: Guy Cousineau
• Languages: English - fre
• Number of Pages: Median: 208
• Publisher: Springer
• Publish Date: 1986

“Combinators and functional programming languages” Subjects and Themes:

• Subjects: ➤  Implementation - Software Engineering - Langages de programmation fonctionnels - Combinatory logic - Functionele programmering - Kombinatorik - Congres - Funktionale Programmiersprache - Congresses - Kongress - Programmiersprache - Lambda-Kalku˜l - Logique combinatoire - Funktionale Programmierung - Functional programming languages - Programming languages (electronic computers)

Edition Identifiers:

• The Open Library ID: OL12772380M
• All ISBNs: 3540171843 - 9783540171843

“Combinators, -terms and proof theory” Metadata:

• Title: ➤  Combinators, -terms and proof theory
• Author: Sören Stenlund
• Language: English
• Number of Pages: Median: 184
• Publisher: D Reidel - D. Reidel
• Publish Date: 1972
• Publish Location: Dordrecht

“Combinators, -terms and proof theory” Subjects and Themes:

• Subjects: Combinatory logic - Proof theory - Philosophy

Edition Identifiers:

• The Open Library ID: OL5301596M
• Online Computer Library Center (OCLC) ID: 589103
• Library of Congress Control Number (LCCN): 72083378
• All ISBNs: 9789027703057 - 9027703051

“Combinatory logic” Metadata:

• Title: Combinatory logic
• Author: Katalin Bimbó
• Language: English
• Number of Pages: Median: 334
• Publisher: Taylor & Francis
• Publish Date: 2012
• Publish Location: Boca Raton

“Combinatory logic” Subjects and Themes:

• Subjects: ➤  Combinatory logic - Logic, symbolic and mathematical - Logique combinatoire - MATHEMATICS - Infinity - Logic

Edition Identifiers:

• The Open Library ID: OL25004859M
• Online Computer Library Center (OCLC) ID: 756664691 - 861183785
• Library of Congress Control Number (LCCN): 2011030502
• All ISBNs: 1439800006 - 9781439800003

“Studies in Logic and the Foundations of Mathematics, 65” Metadata:

• Title: ➤  Studies in Logic and the Foundations of Mathematics, 65
• Author: Haskell B. Curry
• Language: English
• Number of Pages: Median: 535
• Publisher: Elsevier
• Publish Date: 1972
• Publish Location: Burlington

“Studies in Logic and the Foundations of Mathematics, 65” Subjects and Themes:

• Subjects: Combinatory logic - Combinatorial analysis - Logic

Edition Identifiers:

• The Open Library ID: OL27025046M
• Online Computer Library Center (OCLC) ID: 536254640
• All ISBNs: 0080954774 - 9780080954776

“Two-level functional languages” Metadata:

• Title: Two-level functional languages
• Author: Flemming Nielson
• Language: English
• Number of Pages: Median: 299
• Publisher: Cambridge University Press
• Publish Date: 1992
• Publish Location: Cambridge - New York, NY, USA

“Two-level functional languages” Subjects and Themes:

• Subjects: ➤  Functional programming languages - Computational linguistics - Lambda calculus - Combinatory logic

Edition Identifiers:

• The Open Library ID: OL1454070M
• Online Computer Library Center (OCLC) ID: 26506339
• Library of Congress Control Number (LCCN): 93107786
• All ISBNs: 0521403847 - 9780521403849

“Computability in combinatory spaces” Metadata:

• Title: ➤  Computability in combinatory spaces
• Author: Dimitŭr Genchev Skordev
• Language: English
• Number of Pages: Median: 320
• Publisher: Kluwer Academic Publishers
• Publish Date: 1992
• Publish Location: Dordrecht - Boston

“Computability in combinatory spaces” Subjects and Themes:

• Subjects: Combinatory logic - Recursion theory

Edition Identifiers:

• The Open Library ID: OL1563034M
• Online Computer Library Center (OCLC) ID: 24953821
• Library of Congress Control Number (LCCN): 91044535
• All ISBNs: 9780792315766 - 0792315766

“Die Ars generalis ultima des Raymundus Lullus” Metadata:

• Title: ➤  Die Ars generalis ultima des Raymundus Lullus
• Author: Werner Künzel
• Language: ger
• Number of Pages: Median: 170
• Publisher: Ed. Künzel
• Publish Date: 1991
• Publish Location: Berlin

“Die Ars generalis ultima des Raymundus Lullus” Subjects and Themes:

• Subjects: Combinatory logic
• People: Ramon Llull (1232?-1316)

Edition Identifiers:

• The Open Library ID: OL14774044M
• Online Computer Library Center (OCLC) ID: 26067554
• All ISBNs: 3928378058 - 9783928378055

“Combinators and functional programming languages” Metadata:

• Title: ➤  Combinators and functional programming languages

“Combinators and functional programming languages” Subjects and Themes:

• Subjects: ➤  Congresses - Combinatory logic - Functional programming languages