Add to ORKGIn the area of foundations of mathematics and computer science, three related topics dominate. These are -calculus, type theory and logic
The lambda-Pi-calculus modulo theory is a logical framework in which manytype systems can be express...
Type theory has become central to computer science because it deals with fundamental issues in prog...
A dependent type theory is proposed as the foundation of mathematics. The formalism preserves the st...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
Church’s type theory, aka simple type theory, is a formal logical language which includes classical ...
These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summe...
In this paper the reader will be introduced to type theories (predicative and impredicative, with an...
The paper first formalizes the ramified type theory as (informally) described in the Principia Mathe...
The programming logic PL/CV3 is based on the notion of a mathematical type. We present the core of ...
The lambda-Pi-calculus modulo theory is a logical framework in which manytype systems can be express...
Type theory has become central to computer science because it deals with fundamental issues in prog...
A dependent type theory is proposed as the foundation of mathematics. The formalism preserves the st...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...
In the area of foundations of mathematics and computer science, three related topics dominate. These...
Church’s type theory, aka simple type theory, is a formal logical language which includes classical ...
These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summe...
In this paper the reader will be introduced to type theories (predicative and impredicative, with an...
The paper first formalizes the ramified type theory as (informally) described in the Principia Mathe...
The programming logic PL/CV3 is based on the notion of a mathematical type. We present the core of ...
The lambda-Pi-calculus modulo theory is a logical framework in which manytype systems can be express...
Type theory has become central to computer science because it deals with fundamental issues in prog...
A dependent type theory is proposed as the foundation of mathematics. The formalism preserves the st...