Lambda Calculus with Types

Lambda Calculus with Types

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Henk Barendregt, Wil Dekkers, Richard Statman
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge University Press, 08/05/2013
Έκδοση:	1
Σειρά:	Perspectives in Logic
Θέματα:	Logic, categories and Sets Electronic books
Διαθέσιμο Online:	Full text available on Cambridge University Press Off-campus access

Παρόμοια τεκμήρια

An Introduction to Gödel's Theorems
ανά: Peter Smith
Έκδοση: (2013)

Kurt Gödel and the Foundations of Mathematics
ανά: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Έκδοση: (2011)

Programming with Higher-Order Logic
ανά: Dale Miller, Gopalan Nadathur
Έκδοση: (2012)

An Introduction to Category Theory
ανά: Harold Simmons
Έκδοση: (2012)

Fuzzy sets and fuzzy logic : theory and applications /
ανά: Klir, George J., 1932-
Έκδοση: (2015)

Typed Lambda Calculi and Applications
Έκδοση: (2013)

Recommendation framework: Improving automated collaborative filtering by trusted category
ανά: Noor, Md Sadaf
Έκδοση: (2021)

How a new clothing brand like Twelve clothing penetrated the RMG industry of Bangladesh
ανά: Ashhab, Md. Rakin
Έκδοση: (2024)

A study of using fuzzy logic based system for adaptation of precise insulin dosage for type II diabetes patients
ανά: Prima, Afroza Afrin
Έκδοση: (2019)

Programming logic and design : comprehensive /
ανά: Farrell, Joyce
Έκδοση: (2011)

Basics of logic /
ανά: Barker, Stephen Francis
Έκδοση: (1986)

Lambda Book Report

Lambda Book Report

Sustainable automated carton making factory: How value for money procurement can add value to the Palmal group of Industry and gain competitive advantage. (2019)
ανά: Amin, Md Al
Έκδοση: (2021)

Our logic for discussion and persuasion /
ανά: Ha, Byunghak
Έκδοση: (2000)

Logic Journal of the IGPL

Set theory and its applications : annual Boise Extravaganza in Set Theory, 1995--2010, Boise, Idaho /
Έκδοση: (2011)

The Unicode standard /
Έκδοση: (2003)

Unicode : a primer /
ανά: Graham, Tony
Έκδοση: (2000)

Digital designing with programmable logic devices /
ανά: Carter, John W., 1951-
Έκδοση: (1997)

Schaum's outline of theory and problems of set theory and related topics /
ανά: Lipschutz, Seymour
Έκδοση: (2005)

Pi Lambda Theta Journal

Proposed Amendments to the Special Data Dissemination Standard Plus and the Annex on the General Data Dissemination System.
Έκδοση: (2015)

Introduction to logic /
ανά: Copi, Irving M.
Έκδοση: (1986)

Unicode demystified : a practical programmer’s guide to the encoding standard /
ανά: Gillam, Richard
Έκδοση: (2003)

Fuzzy logic: a contemporary technique in refining physicians’ prescribed total daily insulin dosage for type 2 diabetes patients
ανά: Tareq, Md. Tariqul Islam
Έκδοση: (2019)

Pearls of Functional Algorithm Design
ανά: Richard Bird
Έκδοση: (2013)

Logic and computer design fundamentals /
ανά: Mano, M. Morris, 1927-
Έκδοση: (2000)

Rationalities of Z-category shares in Dhaka stock exchange: are they in financial distress risk?
ανά: Chowdhury, Anup, κ.ά.
Έκδοση: (2010)

Make success measurable! : a mindbook-workbook for setting goals and taking action /
ανά: Smith, Douglas K., 1949-
Έκδοση: (1999)

Persuasion is logic /
ανά: Hoon-tae, Jeong

The Nonlinear Relationship Between Public Debt and Sovereign Credit Ratings /
ανά: Hadzi-Vaskov, Metodij
Έκδοση: (2019)

Digital logic and computer design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1979)

Digital logic and computer design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1979)

Gitanjali : song offerings /
ανά: Tagore, Rabindranath, 1861-1941
Έκδοση: (2010)

Nominal Sets
ανά: Andrew M. Pitts
Έκδοση: (2013)

Practical Foundations for Programming Languages
ανά: Robert Harper
Έκδοση: (2013)

The logic of language
ανά: Seuren, Pieter A. M.

Transitions and Trees
ανά: Hans Hüttel
Έκδοση: (2012)

Journal of Logic and Computation