What Is This?

This is an HTML+RDFa representation of metadata describing this Web-addressable resource.

Why Is This Important?

The property (attributes and values pairs) links on this page unveil a different kind of link, one which enables the following on HTTP networks such as the Web:

  1. Unambiguous identity for entities (aka. strong identifiers)
  2. Implicit binding of an entity and its metadata via strong identifiers
  3. Multiple metadata representations that enable a variety of presentations
  4. High precision Search and Find queries that simply use the metadata documents (by referencing entity URIs) as the query's Data Source Name

How Do I Discover Alternative Metadata Representations?

This document exposes metadata in the following formats: (X)HTML+RDFa, Turtle, N3, RDF/JSON, or RDF/XML. In the most basic form, you can simply view the (X)HTML source markup of this page, and go directly to the <head/> section which contains a <link/> tag with relationship and type properties for each format.

In addition, you can also explicitly request a desired metadata representation for a given resource via HTTP GET requests that use the entity's strong identifier as the call target.

How Can I Expose My Web Resources In This Manner?

Simply include the following in the <head/> section of your (static or dynamically generated) (X)HTML page:

<link rel="alternate" title="My Data in RDF Linked Data form"
type="application/rdf+xml"
href="http://linkeddata.uriburner.com/about/id/<this-page-URL>/>"

How Is This Related To The Linked Data Meme?

As stated above, the links in this page expose strong identifiers for its primary topic, secondary topics, attributes, and some values. These links, via implicit association, act as conduits to their metadata-bearing documents, in a variety formats.

[OpenLink Software]

About: Combinatory logic - Wikipedia

An Entity of Type : Thing, from Data Source : https://en.wikipedia.org/wiki/Combinatory_logic, within Data Space : dev.restore.ovi.cnr.it:8890

  • References
  • Referenced By
content

og:title
  • Combinatory logic - Wikipedia
og:type
  • website
Title
  • Combinatory logic - Wikipedia
links to
  • https://en.wikipedia.org/wiki/Predicate_logic
  • https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
  • https://wikimediafoundation.org/
  • https://donate.wikimedia.org/?wmf_sour..._campaign=en.wikipedia.org&uselang=en
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
  • https://foundation.wikimedia.org/wiki/...uage/Policy:Universal_Code_of_Conduct
  • https://developer.wikimedia.org
  • https://stats.wikimedia.org/#/en.wikipedia.org
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
  • https://www.mediawiki.org/
  • https://en.wikipedia.org/wiki/Belgium
  • https://en.wikipedia.org/wiki/ISBN_(identifier)
  • https://en.wikipedia.org/wiki/Template:Cite_book
  • https://en.wikipedia.org/wiki/Doi_(identifier)
  • https://en.wikipedia.org/wiki/Help:Authority_control
  • https://en.wikipedia.org/wiki/S2CID_(identifier)
  • https://en.wikipedia.org/wiki/OCLC_(identifier)
  • https://en.wikipedia.org/wiki/YouTube
  • https://en.wikipedia.org/wiki/Q.E.D.
  • https://en.wikipedia.org/wiki/Category:CS1_German-language_sources_(de)
  • https://en.wikipedia.org/wiki/JSTOR_(identifier)
  • https://en.wikipedia.org/wiki/Quantifier_(logic)
  • https://en.wikipedia.org/wiki/Elsevier
  • https://en.wikipedia.org/wiki/Model_of_computation
  • https://en.wikipedia.org/wiki/Computation
  • https://en.wikipedia.org/wiki/Function_application
  • https://en.wikipedia.org/wiki/APL_(programming_language)
  • https://en.wikipedia.org/wiki/Computability_theory
  • https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine
  • https://en.wikipedia.org/wiki/First-order_logic
  • https://en.wikipedia.org/wiki/Functional_programming
  • https://en.wikipedia.org/wiki/Main_Page
  • https://en.wikipedia.org/wiki/Wikipedia:Contents
  • https://en.wikipedia.org/wiki/Portal:Current_events
  • https://en.wikipedia.org/wiki/Special:Random
  • https://en.wikipedia.org/wiki/Wikipedia:About
  • https://en.wikipedia.org/wiki/Wikipedia:Contact_us
  • https://en.wikipedia.org/wiki/Help:Contents
  • https://en.wikipedia.org/wiki/Help:Introduction
  • https://en.wikipedia.org/wiki/Wikipedia:Community_portal
  • https://en.wikipedia.org/wiki/Special:RecentChanges
  • https://en.wikipedia.org/wiki/Wikipedia:File_upload_wizard
  • https://en.wikipedia.org/wiki/Special:Search
  • https://en.wikipedia.org/wiki/Special:MyContributions
  • https://en.wikipedia.org/wiki/Special:MyTalk
  • https://en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard
  • https://en.wikipedia.org/wiki/Special:SpecialPages
  • https://en.wikipedia.org/wiki/Help:Category
  • https://en.wikipedia.org/wiki/Category:Articles_with_short_description
  • https://en.wikipedia.org/wiki/Category:Short_description_matches_Wikidata
  • https://en.wikipedia.org/wiki/Wikipedi...-ShareAlike_4.0_International_License
  • https://en.wikipedia.org/wiki/Wikipedia:General_disclaimer
  • https://en.wikipedia.org/wiki/Big_O_notation
  • https://en.wikipedia.org/wiki/Kripke_semantics
  • https://en.wikipedia.org/wiki/Up_to
  • https://en.wikipedia.org/wiki/Tacit_programming
  • https://en.wikipedia.org/wiki/Higher-order_function
  • https://en.wikipedia.org/wiki/Intuitionistic_logic
  • https://en.wikipedia.org/wiki/Category:Logic_in_computer_science
  • https://en.wikipedia.org/wiki/Kenneth_E._Iverson
  • https://en.wikipedia.org/wiki/Category:CS1_errors:_ISBN_date
  • https://zh.wikipedia.org/wiki/%E7%BB%84%E5%90%88%E5%AD%90%E9%80%BB%E8%BE%91
  • https://en.wikipedia.org/wiki/Harvard_University_Press
  • https://en.wikipedia.org/wiki/Computer_science
  • https://en.wikipedia.org/wiki/Combinatory_categorial_grammar
  • https://en.wikipedia.org/wiki/Unlambda
  • https://www.wikimedia.org/
  • https://en.wikipedia.org/wiki/Cambridge_University_Press
  • https://en.wikipedia.org/wiki/Oxford_University_Press
  • https://en.wikipedia.org/wiki/Raymond_Smullyan
  • https://en.wikipedia.org/wiki/B,_C,_K,_W_System
  • https://en.wikipedia.org/wiki/Princeton_University
  • https://en.wikipedia.org/wiki/MR_(identifier)
  • https://en.wikipedia.org/wiki/Mathematical_logic
  • https://en.wikipedia.org/wiki/Dana_Scott
  • https://en.wikipedia.org/wiki/Model_theory
  • https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_isomorphism
  • https://en.wikipedia.org/wiki/Stanford_Encyclopedia_of_Philosophy
  • https://en.wikipedia.org/wiki/Help:CS1_errors#invalid_isbn_date
  • https://en.wikipedia.org/wiki/Jean_van_Heijenoort
  • https://en.wikipedia.org/wiki/Inclusion_(set_theory)
  • https://en.wikipedia.org/wiki/David_Turner_(computer_scientist)
  • https://en.wikipedia.org/wiki/Cylindric_algebra
  • https://en.wikipedia.org/wiki/Hilbert-style_deduction_system
  • https://en.wikipedia.org/wiki/Combinatory_logic
  • https://en.wikipedia.org/wiki/Applicative_computing_systems
  • https://en.wikipedia.org/wiki/Turing_machine
  • https://en.wikipedia.org/wiki/Alonzo_Church
  • https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis
  • https://en.wikipedia.org/wiki/Combinational_logic
  • https://en.wikipedia.org/wiki/Recursion
  • https://en.wikipedia.org/wiki/Free_variable
  • https://en.wikipedia.org/wiki/Stephen_Wolfram
  • https://en.wikipedia.org/wiki/Haskell_Curry
  • https://en.wikipedia.org/wiki/Proof_theory
  • https://www.jstor.org/stable/985250
  • https://en.wikipedia.org/wiki/Lambda_calculus
  • https://en.wikipedia.org/wiki/Church_encoding
  • https://en.wikipedia.org/wiki/North-Holland_Publishing_Company
  • https://en.wikipedia.org/wiki/Moses_Sch%C3%B6nfinkel
  • https://en.wikipedia.org/wiki/Expressive_power_(computer_science)
  • https://en.wikipedia.org/wiki/Katalin_Bimb%C3%B3
  • https://en.wikipedia.org/wiki/Henk_Barendregt
  • https://en.wikipedia.org/wiki/Journal_of_Symbolic_Logic
  • https://en.wikipedia.org/wiki/Graph_reduction_machine
  • https://en.wikipedia.org/wiki/Combinat...ecidability_of_combinatorial_calculus
  • https://en.wikipedia.org/wiki/B,_C,_K,_W_system
  • https://en.wikipedia.org/wiki/Robert_Feys
  • https://en.wikipedia.org/wiki/Special:BookSources/0-7204-2208-6
  • https://en.wikipedia.org/wiki/Special:BookSources/0-444-87508-5
  • https://en.wikipedia.org/wiki/Special:BookSources/978-0674324497
  • https://en.wikipedia.org/wiki/J_programming_language
  • https://en.wikipedia.org/wiki/Wolfram_Media
  • https://en.wikipedia.org/wiki/Normal_form_(abstract_rewriting)
  • https://en.wikipedia.org/wiki/Formal_parameter
  • https://en.wikipedia.org/wiki/Functional_programming_languages
  • https://en.wikipedia.org/wiki/Lawrence_Paulson
  • https://en.wikipedia.org/wiki/SKI_combinator_calculus
  • https://en.wikipedia.org/wiki/Category:Combinatory_logic
  • https://en.wikipedia.org/wiki/Category:Lambda_calculus
  • https://en.wikipedia.org/wiki/Deduction_theorem
  • https://en.wikipedia.org/wiki/Fixed_point_combinator
  • https://en.wikipedia.org/wiki/Beta_normal_form
  • https://az.wikipedia.org/wiki/Kombinatorial_m%C9%99ntiq
  • https://ca.wikipedia.org/wiki/L%C3%B2gica_combinat%C3%B2ria
  • https://de.wikipedia.org/wiki/Kombinatorische_Logik
  • https://es.wikipedia.org/wiki/L%C3%B3gica_combinatoria
  • https://fr.wikipedia.org/wiki/Logique_combinatoire
  • https://gd.wikipedia.org/wiki/Loidig_cho-cheanglachail
  • https://gl.wikipedia.org/wiki/L%C3%B3xica_combinatoria
  • https://hy.wikipedia.org/wiki/%D4%BF%D...8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6
  • https://hr.wikipedia.org/wiki/Kombinatorna_logika
  • https://it.wikipedia.org/wiki/Logica_combinatoria
  • https://nl.wikipedia.org/wiki/Combinatorische_logica
  • https://ja.wikipedia.org/wiki/%E3%82%B...D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86
  • https://no.wikipedia.org/wiki/Kombinatorisk_logikk
  • https://pl.wikipedia.org/wiki/Rachunek_kombinator%C3%B3w
  • https://pt.wikipedia.org/wiki/L%C3%B3gica_combinat%C3%B3ria
  • https://ru.wikipedia.org/wiki/%D0%9A%D..._%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0
  • https://sh.wikipedia.org/wiki/Kombinatorna_logika
  • https://uk.wikipedia.org/wiki/%D0%9A%D..._%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0
  • https://zh-yue.wikipedia.org/wiki/%E7%B5%84%E5%90%88%E5%AD%90%E9%82%8F%E8%BC%AF
  • https://www.wikidata.org/wiki/Special:EntityPage/Q1481571#sitelinks-wikipedia
  • https://www.wikidata.org/wiki/Special:EntityPage/Q1481571
  • https://doi.org/10.1145%2F114054.114065
  • https://api.semanticscholar.org/CorpusID:25802202
  • https://doi.org/10.2307%2F2370619
  • https://www.jstor.org/stable/2370619
  • https://people.math.ethz.ch/~engeler/CombinatoryProgram-foreword.pdf
  • https://archive.org/details/functionalprogra0000fiel
  • https://doi.org/10.1016%2Fj.ipl.2003.12.005
  • http://projecteuclid.org/euclid.jsl/1183743187
  • https://doi.org/10.2307%2F2274956
  • https://www.jstor.org/stable/2274956
  • https://mathscinet.ams.org/mathscinet-getitem?mr=1043546
  • https://api.semanticscholar.org/CorpusID:6930576
  • http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521898850
  • http://www.ejournals.eu/rml/2018/Number-53/art/12285
  • https://doi.org/10.4467%2F20842589RM.18.002.8835
  • http://www.cl.cam.ac.uk/Teaching/Lectures/founds-fp/Founds-FP.ps.gz
  • http://www.cip.ifi.lmu.de/~langeh/test...ne%20der%20mathematischen%20Logik.pdf
  • https://doi.org/10.1007%2Fbf01448013
  • https://api.semanticscholar.org/CorpusID:118507515
  • https://search.worldcat.org/oclc/503886453
  • http://people.uleth.ca/%7Ejonathan.seldin/CCL.pdf
  • https://web.archive.org/web/2005101621...cds/1999/library/pdf/curry-howard.pdf
  • http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf
  • https://web.archive.org/web/20160304083208/http://tromp.github.io/cl/LC.pdf
  • http://tromp.github.io/cl/LC.pdf
  • https://doi.org/10.2307%2F2273733
  • https://www.jstor.org/stable/2273733
  • https://api.semanticscholar.org/CorpusID:35835482
  • https://archive.org/details/CLP-2003_780
  • https://www.wolfram-media.com/products/combinators-a-centennial-view.html
  • http://plato.stanford.edu/entries/logic-combinatory/
  • https://web.archive.org/web/2007020909...l/cgi-bin/library?a=p&p=about&c=curry
  • http://dkeenan.com/Lambda/index.htm
  • https://www.angelfire.com/tx4/cus/combinator/birds.html
  • https://web.archive.org/web/2008102905...ngs.cam.ac.uk/~chris/combinators.html
  • https://code.google.com/p/clache
  • https://www.youtube.com/watch?v=PG2G5xSz0NQ
  • https://www.wikidata.org/wiki/Q1481571#identifiers
  • https://d-nb.info/gnd/4164750-6
  • https://id.loc.gov/authorities/sh85028814
  • https://catalogue.bnf.fr/ark:/12148/cb119473722
  • https://data.bnf.fr/ark:/12148/cb119473722
  • https://www.nli.org.il/en/authorities/987007543265905171
  • https://www.idref.fr/027430677
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&oldid=1284059345
  • https://en.wikipedia.org/wiki/Predicate_functor_logic
  • https://en.wikipedia.org/wiki/Peter_G._Harrison
  • https://en.wikipedia.org/wiki/J._Roger_Hindley
  • https://en.wikipedia.org/wiki/Combinatory_logic#bodyContent
  • https://en.wikipedia.org/w/index.php?t...ateAccount&returnto=Combinatory+logic
  • https://en.wikipedia.org/w/index.php?t...:UserLogin&returnto=Combinatory+logic
  • https://en.wikipedia.org/wiki/Combinatory_logic#
  • https://en.wikipedia.org/wiki/Combinatory_logic#In_mathematics
  • https://en.wikipedia.org/wiki/Combinatory_logic#In_computing
  • https://en.wikipedia.org/wiki/Combinatory_logic#Summary_of_lambda_calculus
  • https://en.wikipedia.org/wiki/Combinatory_logic#Combinatory_calculi
  • https://en.wikipedia.org/wiki/Combinatory_logic#Combinatory_terms
  • https://en.wikipedia.org/wiki/Combinatory_logic#Reduction_in_combinatory_logic
  • https://en.wikipedia.org/wiki/Combinatory_logic#Examples_of_combinators
  • https://en.wikipedia.org/wiki/Combinatory_logic#Completeness_of_the_S-K_basis
  • https://en.wikipedia.org/wiki/Combinat...m_to_an_equivalent_combinatorial_term
  • https://en.wikipedia.org/wiki/Combinat...xplanation_of_the_T[_]_transformation
  • https://en.wikipedia.org/wiki/Combinat...Simplifications_of_the_transformation
  • https://en.wikipedia.org/wiki/Combinatory_logic#η-reduction
  • https://en.wikipedia.org/wiki/Combinatory_logic#One-point_basis
  • https://en.wikipedia.org/wiki/Combinatory_logic#Combinators_B,_C
  • https://en.wikipedia.org/wiki/Combinatory_logic#CLK_versus_CLI_calculus
  • https://en.wikipedia.org/wiki/Combinatory_logic#Reverse_conversion
  • https://en.wikipedia.org/wiki/Combinatory_logic#Undefinability_by_predicates
  • https://en.wikipedia.org/wiki/Combinatory_logic#Applications
  • https://en.wikipedia.org/wiki/Combinat...c#Compilation_of_functional_languages
  • https://en.wikipedia.org/wiki/Combinatory_logic#Logic
  • https://en.wikipedia.org/wiki/Combinatory_logic#See_also
  • https://en.wikipedia.org/wiki/Combinatory_logic#References
  • https://en.wikipedia.org/wiki/Combinatory_logic#Literature
  • https://en.wikipedia.org/wiki/Combinatory_logic#External_links
  • https://en.wikipedia.org/wiki/Talk:Combinatory_logic
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&action=edit
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&action=history
  • https://en.wikipedia.org/wiki/Special:WhatLinksHere/Combinatory_logic
  • https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Combinatory_logic
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&action=info
  • https://en.wikipedia.org/w/index.php?t...1284059345&wpFormIdentifier=titleform
  • https://en.wikipedia.org/w/index.php?t...ipedia.org%2Fwiki%2FCombinatory_logic
  • https://en.wikipedia.org/w/index.php?t...ipedia.org%2Fwiki%2FCombinatory_logic
  • https://en.wikipedia.org/w/index.php?t...ory_logic&action=show-download-screen
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&printable=yes
  • https://en.wikipedia.org/wiki/Combinat...nfinkel1967|Schönfinkel_(1967)]]-1
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTECurry1930-2
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=1
  • https://en.wikipedia.org/wiki/Combinatory_logic#Quine_1960_1966
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTESeldin2008-3
  • https://en.wikipedia.org/wiki/Combinat...ic#cite_note-FOOTNOTEBarendregt1984-4
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=2
  • https://en.wikipedia.org/wiki/Non-strict_programming_language
  • https://en.wikipedia.org/wiki/Combinat...te_note-FOOTNOTEHindleyMeredith1990-5
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=3
  • https://en.wikipedia.org/wiki/Associative#Non-associativity
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=4
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=5
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=6
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=7
  • https://en.wikipedia.org/wiki/Extensional_equality
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=8
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTETurner1979-6
  • https://en.wikipedia.org/w/index.php?t...mbinatory_logic&action=edit§ion=9
  • https://en.wikipedia.org/wiki/Combinat...gic#cite_note-FOOTNOTELachowski2018-7
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=10
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=11
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=12
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=13
  • https://en.wikipedia.org/wiki/Iota_and_Jot
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTEGoldberg2004-8
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=14
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFSchönfinkel1924
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFTromp2008
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=15
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=16
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=17
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=18
  • https://en.wikipedia.org/wiki/Church_encoding#Church_Booleans
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTEEngeler1995-9
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=19
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=20
  • https://en.wikipedia.org/wiki/SASL_programming_language
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_note-FOOTNOTECherlin1991-10
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=21
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=22
  • https://en.wikipedia.org/wiki/Categorical_abstract_machine
  • https://en.wikipedia.org/wiki/Explicit_substitution
  • https://en.wikipedia.org/wiki/Supercombinator
  • https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=23
  • https://en.wikipedia.org/wiki/Combinat...inkel1967|Schönfinkel_(1967)]]_1-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFSchönfinkel1967
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_ref-FOOTNOTECurry1930_2-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFCurry1930
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_ref-FOOTNOTESeldin2008_3-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFSeldin2008
  • https://en.wikipedia.org/wiki/Combinat...c#cite_ref-FOOTNOTEBarendregt1984_4-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFBarendregt1984
  • https://en.wikipedia.org/wiki/Combinat...e_ref-FOOTNOTEHindleyMeredith1990_5-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFHindleyMeredith1990
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_ref-FOOTNOTETurner1979_6-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFTurner1979
  • https://en.wikipedia.org/wiki/Combinat...ic#cite_ref-FOOTNOTELachowski2018_7-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFLachowski2018
  • https://en.wikipedia.org/wiki/Combinat...gic#cite_ref-FOOTNOTEGoldberg2004_8-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFGoldberg2004
  • https://en.wikipedia.org/wiki/Combinatory_logic#cite_ref-FOOTNOTEEngeler1995_9-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFEngeler1995
  • https://en.wikipedia.org/wiki/Combinat...gic#cite_ref-FOOTNOTECherlin1991_10-0
  • https://en.wikipedia.org/wiki/Combinatory_logic#CITEREFCherlin1991
  • https://en.wikipedia.org/w/index.php?t...binatory_logic&action=edit§ion=24
  • https://en.wikipedia.org/wiki/Special:BookSources/0897914414
xhv:alternate
  • http://dev.restore.ovi.cnr.it:8890/abo...title=Special:RecentChanges&feed=atom
  • https://en.wikipedia.org/w/index.php?title=Special:RecentChanges&feed=atom
  • https://en.m.wikipedia.org/wiki/Combinatory_logic
  • http://dev.restore.ovi.cnr.it:8890/abo...p?title=Combinatory_logic&action=edit
  • http://dev.restore.ovi.cnr.it:8890/abo....wikipedia.org/wiki/Combinatory_logic
  • https://en.wikipedia.org/w/index.php?title=Combinatory_logic&action=edit
xhv:icon
xhv:license
  • Deed - Attribution-ShareAlike 4.0 International - Creative Commons
xhv:stylesheet
  • http://dev.restore.ovi.cnr.it:8890/abo...e.styles&only=styles&skin=vector-2022
  • http://dev.restore.ovi.cnr.it:8890/abo...ent.init&only=styles&skin=vector-2022
mw:PageProp/toc
primary topic
  • https://en.wikipedia.org/wiki/Combinatory_logic
Alternative Linked Data Views: Facets | iSPARQL | ODE     Raw Linked Data formats: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD
This material is Open Knowledge   W3C Semantic Web Technology     This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3231, on Linux (x86_64-generic_glibc25-linux-gnu), Single Edition