Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Remarks on Typed Equality for the Calculus of Constructions
 

Summary: Remarks on Typed Equality for the Calculus of
Constructions
Andreas Abel
INRIA, Team r2
PPS Lab, Paris
GT Types and Semantics
INRIA, Paris, France
12 November 2009
Andreas Abel (INRIA) Typed Equality GT TypesSem '09 1 / 19
Introduction
Overview
1 Martin-L®of Type Theory
1 Evaluation
2 Type Checking and Subtyping
3 -Equality and Normalization by Evaluation
4 Models of Type Theory
5 Typed Equality
2 Remarks on Calculus of Constructions
Andreas Abel (INRIA) Typed Equality GT TypesSem '09 2 / 19
Introduction

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences