 |
|
 Directories |
| |
|
|
|
|
Barendregt, Henk |
Popularity:  Hit: 46 | Visit: 0 |
|
|
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Sponsored Links:
|
| URL: |
|
| Title: |
Homepage Henk Barendregt |
| Description: |
|
| Category: |
|
|
 |
|
 |
|
 Related sites |
Aczel, Peter (Popularity: ): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Avigad, Jeremy (Popularity: ): Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of ...
Awodey, Steve (Popularity: ): Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. (Popularity: ): University of Illinois, Chicago - Model theory (finite and infinite).
Blass, Andreas R. (Popularity: ): University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
Bouscaren, Elisabeth (Popularity: ): CNRS / University of Paris 7 - Model theory and algebraic geometry.
Buechler, Steven (Popularity: ): University of Notre Dame - Model theory.
Burris, Stanley (Popularity: ): University of Waterloo - Universal algebra, logic, computers.
Buss, Samuel R. (Popularity: ): University of California, San Diego - Proof theory, computational complexity.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite ...
|
|
|
 |
|
 |
|
|
|
|
|
