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

Rachunek lambda

Subject

Browse all works related to Rachunek lambda.

Home
Subject
Rachunek lambda

"7" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Lambda-calculus, combinators, and functional programming

Lambda-calculus, combinators, and functional programming

by Révész, György E.

fromCambridge tracts in theoretical computer science

0 Type: Book

Dirk van Dalen

Dirk van Dalen: Festschrift

by Barendregt, H. P., Bezem, Marc, Klop, Jan Willem

fromQuaestiones Infinitae

0 Type: Book

The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, H. P.

fromStudies in logic and the foundations of mathematics

0 Type: Book

Proofs and types

Proofs and types

by Taylor, Paul, Girard, Jean-Yves, Lafont, Yves

fromCambridge tracts in theoretical computer science

0 Type: Book

Proofs and types

Proofs and types

by Girard, Jean-Yves

fromCambridge tracts in theoretical computer science

0 Type: Book

The lambda calculus with types

The lambda calculus with types

by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio

fromPerspectives in logic

0 Type: Book

The lambda calculus

The lambda calculus: its syntax and semantics

by Barendregt, H. P.

fromStudies in logic and the foundations of mathematics

0 Type: Book

Subjects

Rachunek lambda (7) Logika kombinatoryczna (2) Dalen, Dirk van (1) Języki programowania funkcyjn… (1)

Contributor

Barendregt, H. P. (4) Girard, Jean-Yves (2) Alessi, Fabio (1) Bezem, Marc (1) Dekkers, Wil (1) Klop, Jan Willem (1) Lafont, Yves (1) Révész, György E. (1) Statman, Richard (1) Taylor, Paul (1)

Publisher

Cambridge University Press (3) Association for Symbolic Logic (1) Cambridge Univ. Press (1) Elsevier (1) Elsevier Science Publishers BV (1) North-Holland (1) Utrecht University (1)

Year

2013 (1) 1998 (1) 1993 (2) 1990 (1) 1988 (1) 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