Typed Lambda Calculi and Applications

Materias

• Lambda calculus
• Congresses

Ediciones (3)

• Typed Lambda Calculi and Applications (2008)

  Springer · ISBN 9783540809951

• Typed Lambda Calculi and Applications (2005)

  Springer London, Limited · inglés · ISBN 9783540320142

• Typed Lambda Calculi and Applications (1899)

  Springer · inglés · ISBN 9783540255932

Más obras de Pawel Urzyczyn