‘Lambda calculus’ 검색 결과

20건

The lambda calculus

H. P. Barendregt, 1981 / 판 4개

An introduction to functional programming through Lambda calculus

Greg Michaelson, 2011

[Lambda]-calculus and combinators

J. Roger Hindley, 2008

Lambda-Calculus and Combinators

J. Roger Hindley, Jonathan P. Seldin, 2008 / 판 4개

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman, 2013 / 판 4개

Lambda calculus with types

H. P. Barendregt, 2013

Introduction to combinators and [lambda]-calculus

J. Roger Hindley, 1986

Lambda-Calculus, Combinators, and Functional Programming

G. E. Revesz, 2009

A++ and the Lambda Calculus

Georg P. Loczewski, 2018 / 판 2개

A simple lambda-calculus model of programming languages

S. Kamal Abdali, 1973 / 판 2개

Abstract computing machines

Werner Kluge, 2005 / 판 3개

Lecture Notes on the Lambda Calculus

Peter Selinger, 2014 / 판 2개

Lambda Calculus Satellite

Henk Barendregt, Giulio Manzonetto, 2022

Computational lambda-calculus and monads

Eugenio Moggi, 1988

The parametric lambda calculus

Simona Ronchi Della Rocca, Luca Paolini, 2004 / 판 2개

Semantics of the Probabilistic Typed Lambda Calculus

Dirk Draheim, 2017 / 판 3개

Lambda-calculus models of programming languages

James Hiram Morris, 1968

The lambda calculus

H.P. (Hendrik Pieter) Barendregt, 1981

Concise Note on Lambda Calculus

Bhim P. Upadhyaya, 2018

Lambda-Calculus, Types and Models

J. L. Krivine, 1993

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기목록 넣기