Lambda Calculus with Types

Main
Mathematics - Logic
Lambda Calculus with Types

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman

5.0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Mathematics - Logic

Год:

2013

Издательство:

Cambridge University Press

Язык:

english

Страницы:

855

ISBN 10:

1139032631

ISBN 13:

9781139032636

Серия:

Perspectives in Logic

Файл:

PDF, 6.78 MB

IPFS:

,

english, 2013

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

（荷兰）H.P.巴伦德莱赫特（h.P.Barendregt）著；朱一清译 — Λ-演算的语法和语义

李伟如等 — 步兵武器射击学原理

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

— Lambda Calculus 001

Simpson S.G. — Mathematical Logic

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

Michaelson, G. — An Introduction to Functional Programming Through Lambda Calculus

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

J. Roger Hindley — Basic Simple Type Theory

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

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

Rob Nederpelt, Herman Geuvers — Type Theory and Formal Proof: An Introduction

飞乐鸟 — 花之绘2 — 二十四节气花卉的色铅笔图绘

ePUBw.COM 宋敬东 — 中华传统二十四节气知识

Jean-Louis Krivine, Rene Corvi (translator) — Lambda-calculus, types and models

Campbell, Lee — The Australian Judiciary (incomplete)

Christel Baier & Ugo Dal Lago — Foundations of Software Science and Computation Structures

Robin R. Wang — Yinyang: The Way of Heaven and Earth in Chinese Thought and Culture

David Lay Williams — Rousseau's Social Contract: An Introduction

Timothy J. Lynch — In The Shadow Of The Cold War: American Foreign Policy From George Bush Sr. To Donald Trump

Laurie Bauer — English Word-formation

Piero Boitani — English Medieval Narrative in the Thirteenth and Fourteenth Centuries

James E. Humphreys — Reflection Groups and Coxeter Groups

Helmut Schwichtenberg, Stanley S. Wainer — Proofs and Computations

G. Navarro — Characters and Blocks of Finite Groups

R. M. W. Dixon — The Rise and Fall of Languages

Sunil S. Amrith — Migration and Diaspora in Modern Asia (New Approaches to Asian History)

George Tourlakis — Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Yonina C. Eldar — Sampling Theory: Beyond Bandlimited Systems

Alexander S. Kechris, Benedikt Löwe, John R. Steel (editors) — Ordinal Definability and Recursion Theory - The Cabal Seminar, Volume III

Daniel W. Cunningham — Set Theory: A First Course

Jon Barwise — Admissible Sets and Structures

Terry M. Moe, Susanne Wiborg — The Comparative Politics of Education: Teachers Unions and Education Systems Around the World

Tullio Ceccherini-Silberstein, Fabio Scarabotti, Filippo Tolli — Discrete Harmonic Analysis: Representations, Number Theory, Expanders, and the Fourier Transform

James R. Maxeiner — Failures of American Methods of Lawmaking in Historical and Comparative Perspectives

Adrian Constantin — Fourier Analysis

Clare Barker, Stuart Murray — The Cambridge Companion to Literature and Disability

Paul Burstein — American Public Opinion, Advocacy, and Policy in Congress: What the Public Wants and What It Gets

Benjamin Powell — Out of Poverty: Sweatshops in the Global Economy

James D. Reid — Heidegger’s Moral Ontology

Bill Fruend — Twentieth-Century South Africa: A Developmental History

Devin Henry — Aristotle on matter, form, and moving causes: the hylomorphic theory of substantial generation

Ключевые слова