Sciweavers

TYPES
1998
Springer

A Modal Lambda Calculus with Iteration and Case Constructs

14 years 3 months ago
A Modal Lambda Calculus with Iteration and Case Constructs
Joëlle Despeyroux, Pierre Leleu
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TYPES
Authors Joëlle Despeyroux, Pierre Leleu
Comments (0)