Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Set-based Operators and Fixed-Points by Support Andreas Abel
 

Summary: 



Set-based Operators and Fixed-Points by Support



Andreas Abel


April 22, 2004



In Abel and Altenkirch's article A Predicative Analysis of Structural Recur-
sion [AA02 ] one finds on page 34 a definition of the semantics [[oe]]of a stri*
*ctly
positive inductive type oe. This definition (5.1) is itself a strictly-positive*
* induc-

  

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

 

Collections: Computer Technologies and Information Sciences