Combinatory logic. / Volume II

Main
Mathematics - Logic
Combinatory logic. / Volume II

Combinatory logic. / Volume II

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

Mathematics - Logic

年:

1972

版:

English

出版社:

North-Holland Pub. Co

言語:

english

ページ:

520

ISBN 10:

0080954774

ISBN 13:

9780080954776

シリーズ:

Studies in logic and the foundations of mathematics 65

ファイル:

PDF, 23.08 MB

IPFS:

,

english, 1972

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Church, Alonzo — The calculi of lambda-conversion

S. Kamal Abdali — A Combinatory Logic Model of Programming Languages

Jackendoff et al. (eds.) — Language, logic and concepts

Thompson S. — Haskell: the craft of functional programming

Farin G. — Curves and surfaces for computer-aided geometric design(program floppy disc)

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order Logic

Haskell Brooks Curry — A theory of formal deducibility

Frederic Brenton Fitch — Elements of Combinatory Logic

Raymond M. Smullyan — To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

Haskell B. Curry (Eds.) — Outlines of a Formalist Philosophy of Mathematics

A. Heyting — Intuitionism: An Introduction

Hendrik Pieter Barendregt — The lambda calculus: its syntax and semantics

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

J. Roger Hindley — Basic Simple Type Theory

Graham Hutton — Programming in Haskell

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Haskell B. Curry, Robert Feys, William Craig — Combinatory Logic: Volume I

Katalin Bimbó — Combinatory Logic: Pure, Applied and Typed

— Combinatory logic. Vol. 1.

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

Jan Willem Klop — Combinatory Reduction Systems [PhD Thesis]

Matthias Felleisen & Matthew Flatt — Programming languages and lambda calculi

J. Barkley Rosser — Logic for Mathematicians

Barendregt H., Barendsen E. — Introduction to Lambda Calculus (Введение в лямбда-исчисление)

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Rhys Price Jones, Fritz Ruehr, Richard Salter — Combinators and Graph Reduction (in Scheme)

Barendregt H., Barendsen E. — Introduction to Lambda calculus

Paulson L.C. — Foundations of functional programming

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors) — Selected Papers on Automath

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Hendrik Pieter Barendregt — The Lambda calculus: its syntax and semantics

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.) — Selected papers on automath

Antoni Diller — Compiling Functional Languages

Haskell B. Curry — Foundations of mathematical logic

Révész, György E — Lambda-calculus, combinators and functional programming

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Terese, eds.:, Marc Bezem, Jan Willem Klop, Roel de Vrijer — Term Rewriting Systems

主要なフレーズ