• Arithmetic operations in simply typed lambda calculus

  • May 4 2024
  • Duración: 10 m
  • Podcast

Arithmetic operations in simply typed lambda calculus

Escúchala gratis

Ver detalles del espectáculo

  • Resumen

  • It is maybe not so well known that arithmetic operations -- at least some of them -- can be implemented in simply typed lambda calculus (STLC). Church-encoded numbers can be given the simple type (A -> A) -> A -> A, for any simple type A. If we abbreviate that type as Nat_A, then addition and multiplication can both be typed in STLC, at type Nat_A -> Nat_A -> Nat_A. Interestingly, things change with exponentiation, which we will consider in the next episode.
    Más Menos
Matemáticas Ciencia
Más Menos

Lo que los oyentes dicen sobre Arithmetic operations in simply typed lambda calculus

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.

Reseñas de Audible.com

Opiniones de Amazon
No hay comentarios disponibles