فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

Logical foundations of functional programming

Main
Computers - Programming
Logical foundations of functional...

Logical foundations of functional programming

Gérard Huet

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سب زمرہ:

Computers - Programming

سال:

1990

ناشر کتب:

Addison-Wesley, Addison-Wesley Pub (Sd)

زبان:

english

ISBN 10:

0201172348

ISBN 13:

9780201172348

سیریز:

UT year of programming series

فائل:

DJVU, 3.21 MB

IPFS:

,

english, 1990

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

Gèrard Huet, Gordon Plotkin — Logical frameworks

Desconocido — Grigore Roşu Programming Language Semantics Lectures Slides University Of Illinois 2018

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

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Grigore Roşu — Programming Language Semantics (Lectures Slides)

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

— Lambda Calculus 001

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

P B Andrews — An introduction to mathematical logic and type theory : to truth through proof

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Gerard Huet — Logical Foundations of Functional Programming

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

Carl A. Gunter, John C. Mitchell — Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

John C. Mitchell — Foundations for programming languages

Frank Pfenning (ed.) — Types in Logic Programming

Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania) — Types and Programming Languages

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

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

Samuel R. Buss (Editor) — Handbook of Proof Theory

Gerard Huet, G. Plotkin (editors) — Logical Frameworks

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

R. E. Davis — Truth, deduction, and computation: logic and semantics for computer science

Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al. — Mathematical interpretation of formal systems

Aaron Stump — Programming Language Foundations

Olivier Danvy (auth.), Samson Abramsky (eds.) — Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.) — Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.) — Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.) — Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

اہم جملے