Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y…45 kB (6137 palabras) - 16:45 13 may 2024
- El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente…4 kB (467 palabras) - 21:27 24 ene 2021
Los Caballeros del Cálculo Lambda (Knights of the Lambda Calculus en inglés) es un grupo semi-ficticio de hackers expertos en Lisp y Scheme. El nombre…2 kB (249 palabras) - 17:05 10 oct 2023- En lógica matemática, Sistema U y Sistema U− son sistemas de tipos puros, es decir, formas especiales de un cálculo lambda tipado con un número arbitrario…6 kB (714 palabras) - 17:03 10 oct 2023
