Institut de Mathématiques de Luminy

Abstract 2008-05

Ehrhard Thomas, Vaux Lionel.
Iterators in finiteness spaces

We prove that both usual implementations of iterator, recursively defined in a λ-calculus extended with a basic Peano integer type, have an interpretation in the category of finiteness spaces and finitary relations.

 

 

 

 

 

 


Last update : april 8th, 2008, EL.