তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে

Combinatory logic

Main
Mathematics
Combinatory logic

Combinatory logic

Curry H.B., Hindley J.R., Seldin J.P

0 / 0

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

ক্যাটাগোরিগুলো:

খন্ড:

Vol. 2

সাল:

1972

প্রকাশক:

North-Holland Pub. Co

ভাষা:

english

পৃষ্ঠা:

529

ISBN 10:

0720422086

ISBN 13:

9780720422085

বইয়ের সিরিজ:

Studies in logic and the foundations of mathematics

ফাইল:

DJVU, 3.38 MB

IPFS:

,

english, 1972

অনলাইনে পড়া

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. — Combinatory logic. / Volume II

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

— 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

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

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

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

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

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

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

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.) — Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Claude Kirchner (eds.) — Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

প্রায়শই ব্যবহৃত পরিভাষা

সম্পর্কিত বইয়ের তালিকা