⌘K

Áreas

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Nivel

①Secundaria ②Bachillerato1 ③Grado3 ④Posgrado1 ⑤Investigación

Formato

≡Curso ◈Explicación4 ◉Análisis1 ▶Ensayo visual ✎Ejercicio

Explorar/Foundations & Logic/Type theory

Type theory

Ningún artículo

Dependent type Homotopy type theory Type system St type theory Ramified theory of types Axiom of reducibility Intuitionistic type theory Cubical type theory Intensional type theory Extensional type theory Identity type Inductive type Inductive data type Induction recursion Induction induction Quotient type Refinement type Function type Product type Existential type Universal type Empty type Unit type Bottom type + 59 más

∅

Todavía no hay artículos en esta categoría — están en camino.

Tendencias

1

x + 1/x = 3, y la escalera hasta x⁵ + 1/x⁵Algebra · 7 min

2

Por qué los triángulos aleatorios atrapan el centro del círculo una de cada cuatro vecesProbability & Statistics · 9 min

3

Máquinas de vectores de soporte: gana la calle más anchaMathematics & Computer Science · 8 min

Recientes

•

Todo torneo contiene una cadena ganadora (teorema de Rédei)Explainer · 7 min

•

¿Qué polinomios aplican ℚ sobre ℚ? La respuesta completaDeep dive · 11 min

Los nuevos artículos, directos a tu correo

Acepto recibir emails de Lambdia y he leído la política de privacidad. Baja en cualquier momento.

Síguenos

© 2026 LambdiaTérminos · Privacidad · El ebook