Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Towards Normalization by Evaluation for the fij-Calculus of Constructions
 

Summary: 



Towards Normalization by Evaluation for the

fij-Calculus of Constructions



Andreas Abel


Project PI.R2, INRIA Rocquencourt and PPS, Paris
andreas.abel@ifi.lmu.de



Abstract.We consider the Calculus of Constructions with typed beta-eta equ*
*al-

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences