Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Fixed Points of Type Constructors and Primitive Recursion (Errata)

Summary: Fixed Points of Type Constructors
and Primitive Recursion (Errata)
Andreas Abel and Ralph Matthes
October 19, 2004
Our contribution to CSL 04 [AM04] contains a little error, which is easily corrected by 2 elementary
editing steps (replacing one character and deleting another).
Definition of wellformed contexts (fifth page). Typing contexts should, in contrast to kinding con-
texts, only contain type variable declarations without variance information. Hence, the second rule is too
liberal; we must insist on p = . The corrected set of rules is then:
, X cxt
cxt A :
, x:A cxt
Definition of welltyped terms (immediately following). Since wellformed typing contexts contain
no variance information, hence = , we might drop the "" in the instantiation rule (fifth rule). The
new set of rules is consequently,
(x:A) cxt
x : A


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


Collections: Computer Technologies and Information Sciences