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

Théorie des types

Subject

Browse all works related to Théorie des types.

Home
Subject
Théorie des types

"78" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Categories for types

Categories for types

by Crole, Roy L.

fromCambridge mathematical textbooks

0 Type: Book

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

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

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

Proofs and types

Proofs and types

by Girard, Jean-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 theory of logical types

The theory of logical types

by ProQuest (Firm), Copi, Irving M.

fromRoutledge revivals

0 Type: Book

The theory of logical types

The theory of logical types

by Copi, Irving M.

fromRoutledge revivals

0 Type: Book

The theory of logical types

The theory of logical types

by ProQuest (Firm), Copi, Irving M.

fromRoutledge revivals

0 Type: Book

The theory of logical types

by Copi, Irving M.

fromMonographs in Modern Logic

0 Type: Book

The theory of logical types

The theory of logical types

by Copi, Irving M.

fromMonographs in modern logic series

0 Type: Book

The theory of logical types

by Copi, Irving M.

fromRoutledge revivals

0 Type: Book

The theory of logical types

The theory of logical types

by Copi, Irving M.

fromMonographs in modern logic series

0 Type: Book

The theory of logical types

The theory of logical types

by Copi, Irving M.

fromMonographs in Modern Logic

0 Type: Book

Verified functional programming in Agda

Verified functional programming in Agda

by Stump, Aaron

fromACM books v #9 z 2374-6777

0 Type: Book

Verified functional programming in Agda

Verified functional programming in Agda

by Stump, Aaron

0 Type: Book

Verified functional programming in Agda

Verified functional programming in Agda

by Stump, Aaron

fromACM books v #9 z 2374-6777

0 Type: Book

1
2
3
4

Subjects

Théorie des types (78) Type theory (73) Logic, Symbolic and mathemati… (18) Logique symbolique et mathéma… (18) Proof theory (17) Théorie de la preuve (17) Typentheorie (15) Programming languages (Electr… (11) Lambda-calcul (10) Lambda calculus (9) Logic (9) Types, Théorie des (8) Mathématiques intuitionnistes (7) Semantics (Philosophy) (7) Sémantique (philosophie) (7) Agda (Computer program langua… (6) Functional programming langua… (6) Grammaire comparée et générale (6) Grammar, Comparative and gene… (6) Langages de programmation fon… (6) Intuitionistic mathematics (5) Théorèmes -- Démonstration au… (5) théorie type (5) Beweistheorie (4) COMPUTER PROGRAMMING (4) Curry-Howard isomorphism (4) Curry-Howard, Isomorphisme de (4) Langages de programmation (4) Automatic theorem proving (3) Formele logica (3) Grammar (3) Grammatik (3) Langage et logique (3) Langage naturel, Traitement d… (3) Logique (3) Natuurlijke taal (3) Preuve, Théorie de la (3) Programmation informatique (3) Théorie de la démonstration (3) programmeertalen (3) programming languages (3) COMPUTERS -- Programming Lang… (2) Categorial grammar (2) Categorieën (taalkunde) (2) Catégories (Mathématiques) (2) Formaler Beweis (2) Grammaire catégorielle (2) Informatique -- Mathématiques (2) Langages de programmation fon… (2) Logik (2) Logique mathématique (2) Lógica matemática (2) Mathematische Logik (2) Montague-grammatica (2) Ordinateurs -- Programmation (2) Théorie catégorie (2) Types abstraits de données (i… (2) Typologie (algemeen) (2) lambda calcul typé (2) type (logique) (2) 08.33 logics and argumentation (1) 08.34 philosophy of language (1) 17.58 syntacto-semantic aspec… (1) Algebraic topology (1) Algorithmes (1) Analyse grammaticale -- Thèse… (1) Anaphore (1) Automatic theorem proving -- … (1) Automatisches Beweisverfahren (1) Bases de données orientées ob… (1) Bases de données relationnell… (1) Beweisbarkeit (1) Bewijstheorie (1) Combinatory logic (1) Computer Systems (1) Computer algorithms (1) Computer multitasking -- Math… (1) Computer programming -- Congr… (1) Computer science -- Mathemati… (1) Démonstration automatique de … (1) Englisch (1) F.3 (1) F.4 (1) Geldigheid (1) Grammaire comparée (1) Grammer, Comparative and gene… (1) Informatique (1) Intelligence artificielle (1) Judgement (1) Kategorialgrammatik (1) Kennis (1) Klausellogik (1) Lambda-Kalkül (1) Language (1) Linguistik (1) Linguistique (1) Linguistique mathématique (1) Logic programming (1) Logical (1) Logique (Philosophie) (1) Logique combinatoire (1) Logisch programmeren (1) MENT (1) Mathematical Linguistics (1) Mathematical logic (1) Mechanisering (1) Mehrwertige Logik (1) Methode (1) Natural language processing (… (1) Object-oriented databases (1) PROBABILITY (1) Pensée (1) Philosophie (1) Philosophie et mathématiques (1) Programmation (1) Programmation (Informatique) … (1) Programmation (Mathématiques) (1) Programmation logique (1) Programming (1) Programming languages (Electr… (1) QUANTIFICATION (1) RAISONNE (1) Relational databases (1) Semantics -- Mathematical mod… (1) Softwaretest (1) Sprachphilosophie (1) Språkfilosofi (1) Symbolisk logik (1) Sémantique (1) Sémantique -- Thèses et écrit… (1) THEORY (1) TYPE (1) Temps (1) Theorie (1) Théorie constructive type (1) Théorie des catégories (1) Théorie des ensembles (1) Théorèmes -- Congrès. -- Démo… (1) Traitement automatique des la… (1) Type theory -- Congresses (1) Validity (1) Wiskundige logica (1) calcul lambda (1) foncteur (1) funktionale Programmierung (1) grammaire formelle (1) intuitionnisme (1) knowledge (1) logica (1) logiciel - développement (1) logique intuitionniste (1) logique ordre élevé (1) mathematics (1) polymorphisme (1) preuve - théorie (1) programmation en logique (1) programmation logique -- type… (1) programmation par fonctions (1) programmation équationnelle (1) raisonnement (1) théorie des ensembles -- type… (1) théorie ensemble (1) théorie preuve (1) type algébrique (1) type de données abstraites (1) type fonctionnel (1) types (1) unification (1) vonnis (1) waarschijnlijkheid (1) wiskunde (1)

Contributor

Copi, Irving M. (8) Girard, Jean-Yves (8) Geuvers, Herman (7) Hindley, J. Roger (7) Ranta, Aarne (7) Stump, Aaron (6) Simmons, Harold (5) Hindley, James Roger (4) Martin-Löf, Per (4) Nederpelt, R. P., (Rob P.) (4) Sambin, Giovanni (4) Lafont, Yves (3) Taylor, Paul (3) Andrews, P. B., (Peter Bruce) (2) Brown, Chad E. (2) Nederpelt, Rob (2) Nihon-Sūgakkai (2) ProQuest (Firm) (2) Wolfram, D. A. (2) Andrews, Peter B., (Peter Bru… (1) Andrews, Peter Bruce (1) Barendregt, Hendrik Pieter (1) Cambridge University Press (1) Chatzikyriakidis, Stergios (1) Crole, Roy L. (1) Crossley, John Newsome (1) Darwen, Hugh (1) Date, Chris J. (1) Dekkers, Wil (1) Dezani-Ciancaglini, M., (Mari… (1) Filliâtre, Jean-Christophe (1) Hendriks, Herman (1) Hendriks, Herman, (Hermanus L… (1) Luo, Zhaohui (1) Martin-Loef, Per (1) Mimram, Samuel (1) Nederpelt, R. P. (1) Okada, M., (Mitsuhiro) (1) Paulin-Mohring, Christine (1) Poernomo, Iman Hafiz (1) Smith, Jan M. (1) Sommaruga, Giovanni (1) Statman, Richard (1) TYPES 2004, Jouy-en-Josas, Fr… (1) Takahashi, Masako (1) Werner, Benjamin (1) Wirsing, Martin (1)

Publisher

Cambridge University Press (32) Clarendon Press (8) Association for Computing Mac… (6) Morgan & Claypool (6) Springer (6) Bibliopolis (5) Routledge & Kegan Paul (5) Institute for Logic, Language… (2) Mathematical Society of Japan (2) Routledge and K. Paul (2) Addison-Wesley (1) Cambridge (1) Cambridge Univ. Pr (1) Cambridge Univ. Press (1) College Publications (1) King's College Publ (1) Kluwer Academic Publishers (1) Oxford University Press (1) Routledge (1) Wiley-ISTE (1) éditeur inconnu (1)

Year

2020 (1) 2018 (1) 2016 (6) 2014 (7) 2013 (1) 2011 (2) 2010 (1) 2007 (3) 2006 (1) 2005 (1) 2002 (1) 2000 (5) 1998 (3) 1997 (9) 1996 (1) 1995 (1) 1994 (7) 1993 (5) 1990 (2) 1989 (5) 1984 (5) 1971 (8)

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