Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Books

14 works - Books.

Home
Books

"14" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Interactive models of computation and program behavior

Interactive models of computation and program behavior

by Curien, Pierre-Louis, Société mathématique de France

fromPanoramas et synthèses

0 Type: Book

The Lambda calculus

The Lambda calculus: its syntax and semantics

by Barendregt, Hendrik Pieter

fromStudies in logic and the foundations of mathematics

0 Type: Book

The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, Hendrik Pieter

fromStudies in logic and the foundations of mathematics

0 Type: Book

The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, Hendrik Pieter

fromStudies in logic and the foundations of mathematics

0 Type: Book

Computation as logic

Computation as logic

by Lalement, René

fromPrentice-Hall International Series in Computer Science

0 Type: Book

Typed lambda calculi and applications

Typed lambda calculi and applications: 10th international conference, TLCA 2011, Novi Sa…

by International Conference on Typed Lambda Calculi and Applications, Novi Sad, Serbia), Ong, Luke

fromLecture Notes in Computer Science

0 Type: Book

Fitting statistical distributions

Fitting statistical distributions: the generalized lambda distribution and generaliz…

by Dudewicz, Edward J., Karian, Zaven A.

0 Type: Book

An Introduction to functional programming through lambda calculus

An Introduction to functional programming through lambda calculus

by Michaelson, Greg

fromInternational computer science series

0 Type: Book

An introduction to functional programming through Lambda calculus

An introduction to functional programming through Lambda calculus

by Michaelson, Greg

fromInternational computer science series

0 Type: Book

The structure of typed programming languages

The structure of typed programming languages

by Schmidt, David A.

0 Type: Book

Proofs and types

Proofs and types

by Taylor, Paul, Girard, Jean-Yves

fromCambridge tracts in theoretical computer science

0 Type: Book

The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, Hendrik Pieter

fromStudies in logic and the foundations of mathematics

0 Type: Book

Lambda calculi

Lambda calculi: a guide for computer scientists

by Hankin, Chris

fromGraduate texts in computer science

0 Type: Book

Adapting proof-as-programs

Adapting proof-as-programs: the Curry-Howard protocol

by Poernomo, Iman Hafiz, Wirsing, Martin, Crossley, John Newsome

fromMonographs in Computer Science

0 Type: Book

Subjects

calcul lambda (14) Lambda calculus (4) Lambda-calcul (4) programmation par fonctions (3) Langage (2) Logique mathématique (2) Lógica matemática (2) Boole (1) Bootstrap (Estadística) (1) Calcul (1) Calculus (1) Distribució (Teoria de la pro… (1) Fonctionnel (1) Functional programming (Compu… (1) Informatique (1) Isomorfismes (Matemàtica) (1) Lambda (1) Lambda calculus -- Congresses (1) Lambda-calcul -- Congrès (1) Langages de programmation (1) Logique (1) Logique symbolique et mathéma… (1) Mathématiques intuitionnistes (1) Meta-Language (1) Metà (1) Mostratge (Estadística) (1) PREUVE (1) Programació funcional (1) Programació funcional (Inform… (1) Programmation (1) Programmation fonctionnelle (1) Programmation fonctionnelle (… (1) Programmation logique (1) Programming languages (Electr… (1) Sml (1) Théorie de la démonstration (1) Théorie des types (1) abstraction (1) calcul lambda -- manuel (1) calcul lambda -- preuve (1) langage de programmation (1) langage de programmation -- t… (1) logiciel - développement (1) logique intuitionniste (1) preuve - théorie (1) programming languages (1) système de réécriture (inform… (1) type (informatique) (1) type de données abstraites (1)

Contributor

Barendregt, Hendrik Pieter (4) Michaelson, Greg (2) Crossley, John Newsome (1) Curien, Pierre-Louis (1) Dudewicz, Edward J. (1) Girard, Jean-Yves (1) Hankin, Chris (1) International Conference on T… (1) Karian, Zaven A. (1) Lalement, René (1) Ong, Luke (1) Poernomo, Iman Hafiz (1) Schmidt, David A. (1) Société mathématique de France (1) Taylor, Paul (1) Wirsing, Martin (1)

Publisher

North-Holland (3) Addison-Wesley (2) Elsevier (2) Springer (2) CRC (1) Cambridge University Press (1) Clarendon Press (1) MIT Press (1) Masson (1) Prentice Hall (1) Société Mathématique de France (1)

Year

2011 (1) 2009 (1) 2005 (1) 2001 (1) 2000 (1) 1994 (2) 1993 (1) 1990 (1) 1989 (2) 1985 (2) 1984 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type