Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Introduction to Type Theory

Geuvers, J.H.

Publication date

January 2009

Publisher

Berlin Heidelberg NewYork : Springer

Abstract

Contains fulltext : 76160.pdf (preprint version ) (Open Access)International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, 24 februari 200

Extracted data

Related items

A unified approach to Type Theory through a refined &lambda;-calculus

Fairouz Kamareddine
Rob Nederpelt

January 1994

In the area of foundations of mathematics and computer science, three related topics dominate. Thes...

Lecture Notes on Cubical sets

December 2015

These are some lecture notes for a course presenting the cubical set model of type theory, first in ...

Birkedal, Lars

December 2000

AbstractWe investigate the development of theories of types and computability via realizability.This...

Introduction to type theory

Geuvers, J.H.
Bove, A.
Soares Barbosa, L.
Pardo, A.
Sousa Pinto, J.

January 2009

These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summe...

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

Type theory and formal proof : an introduction

Nederpelt, R.P.
Geuvers, J.H.

January 2014

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...

Prototype Proofs in Type Theory

Longo, Giuseppe

January 2000

Giuseppe Longo. Prototype Proofs in Type Theory Mathematical Logic Quaterly, vol. 46, n. 3, 2000 (fo...

Categorical type theory

Jacobs, B.P.F.

January 1991

Contains fulltext : mmubn000001_128888822.pdf (publisher's version ) (Open Access)...

Meta-mathematical aspects of Martin-Löf's type theory

Valentini, S.L.M.

January 2000

Contains fulltext : 147055.pdf (Publisher’s version ) (Open Access)163 p

TITLE: A History ofthe Theory of Types with Special Reference to Developments After the Second Edition of Principia Mathematica

Jordan E. Collins
B. Sc
Supervisor Dr
Gregory H. Moore

September 2016

This thesis traces the development ofthe theory of types from its origins in the early twentieth cen...

Incompleteness & completeness : formalizing logic and analysis in type theory

O'Connor, R.S.S.

January 2009

Contains fulltext : 76032.pdf (publisher's version ) (Open Access)Radboud Universi...

Type Theory based on Dependent Inductive and Coinductive Types

Basold, H.
Geuvers, J.H.

January 2016

Contains fulltext : 161450.pdf (preprint version ) (Open Access)TYPES 2016 : 22nd ...

Church's Type Theory

Benzmüller, Christoph
Andrews, Peter

May 2019

peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includ...

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

A unified approach to Type Theory through a refined &lambda;-calculus

Fairouz Kamareddine
Rob Nederpelt

January 1994

In the area of foundations of mathematics and computer science, three related topics dominate. Thes...

Lecture Notes on Cubical sets

December 2015

These are some lecture notes for a course presenting the cubical set model of type theory, first in ...

Birkedal, Lars

December 2000

AbstractWe investigate the development of theories of types and computability via realizability.This...

Introduction to type theory

Geuvers, J.H.
Bove, A.
Soares Barbosa, L.
Pardo, A.
Sousa Pinto, J.

January 2009

These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summe...

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

Type theory and formal proof : an introduction

Nederpelt, R.P.
Geuvers, J.H.

January 2014

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...

Prototype Proofs in Type Theory

Longo, Giuseppe

January 2000

Giuseppe Longo. Prototype Proofs in Type Theory Mathematical Logic Quaterly, vol. 46, n. 3, 2000 (fo...

Categorical type theory

Jacobs, B.P.F.

January 1991

Contains fulltext : mmubn000001_128888822.pdf (publisher's version ) (Open Access)...

Meta-mathematical aspects of Martin-Löf's type theory

Valentini, S.L.M.

January 2000

Contains fulltext : 147055.pdf (Publisher’s version ) (Open Access)163 p

TITLE: A History ofthe Theory of Types with Special Reference to Developments After the Second Edition of Principia Mathematica

Jordan E. Collins
B. Sc
Supervisor Dr
Gregory H. Moore

September 2016

This thesis traces the development ofthe theory of types from its origins in the early twentieth cen...

Incompleteness & completeness : formalizing logic and analysis in type theory

O'Connor, R.S.S.

January 2009

Contains fulltext : 76032.pdf (publisher's version ) (Open Access)Radboud Universi...

Type Theory based on Dependent Inductive and Coinductive Types

Basold, H.
Geuvers, J.H.

January 2016

Contains fulltext : 161450.pdf (preprint version ) (Open Access)TYPES 2016 : 22nd ...

Church's Type Theory

Benzmüller, Christoph
Andrews, Peter

May 2019

peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includ...

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

A unified approach to Type Theory through a refined &lambda;-calculus

Fairouz Kamareddine
Rob Nederpelt

January 1994

In the area of foundations of mathematics and computer science, three related topics dominate. Thes...

Lecture Notes on Cubical sets

December 2015

These are some lecture notes for a course presenting the cubical set model of type theory, first in ...

Birkedal, Lars

December 2000

AbstractWe investigate the development of theories of types and computability via realizability.This...