<http://experiment.worldcat.org/entity/work/data/155882274.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/155882274.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/155882274> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/theorie_type> <http://schema.org/name> "théorie type." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/theorie_type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_combinatoire> <http://schema.org/name> "logique combinatoire." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_combinatoire> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_mathematique> <http://schema.org/name> "Logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/combinatorische_logica> <http://schema.org/name> "Combinatorische logica." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/combinatorische_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781219191> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/749486973> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/calcolo_lambda_saggi> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_combinatoire> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/combinatorische_logica> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/genre> "Feestbundels (vorm)" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911281892> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://worldcat.org/entity/person/id/2644813382> .
<http://worldcat.org/entity/work/id/155882274> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calcul> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H.B. Curry : essays on combinatory logic, lambdacalculus and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_combinatoria_saggi> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H.B. Curry essays on combinatory logic, lambda calculus and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2637975683> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2631832191> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472102697> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logika_symboliczna_i_matematyczna> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H. B. Curry : essays on combinatory logic, lambda calculus, and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H. B. Curry : essays on combinatory logic, lambda calculus and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/theorie_type> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calculus> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H.B. Curry : essays on combinatory logic, lambda-calculus and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/490657818> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640466062> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_matematica_saggi> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H.B. Curry: essays on combinatory logic, lambda calculus and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637975683> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/kombinatorik> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640466062> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/name> "To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism" .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://worldcat.org/entity/person/id/2631832191> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_kalkul> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800366176> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/266138468> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/155882274#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/workExample> <http://www.worldcat.org/oclc/6305265> .
<http://worldcat.org/entity/work/id/155882274> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/calcolo_lambda_saggi> <http://schema.org/name> "Calcolo lambda - Saggi." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/calcolo_lambda_saggi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logika_symboliczna_i_matematyczna> <http://schema.org/name> "Logika symboliczna i matematyczna." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logika_symboliczna_i_matematyczna> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_kalkul> <http://schema.org/name> "Lambda-Kalkül." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_kalkul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calculus> <http://schema.org/name> "Lambda-calculus." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calculus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_combinatoria_saggi> <http://schema.org/name> "Logica combinatoria - Saggi." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_combinatoria_saggi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_matematica_saggi> <http://schema.org/name> "Logica matematica - Saggi." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_matematica_saggi> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logica_simbolica_y_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calcul> <http://schema.org/name> "lambda calcul." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/lambda_calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/kombinatorik> <http://schema.org/name> "Kombinatorik." .
<http://experiment.worldcat.org/entity/work/data/155882274#Topic/kombinatorik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .