lambda-calcul simplement typé
Sign in to saveAlso known as STLC, λ→
variante du lambda-calcul avec des types
Wikidata facts
- Instance of
- typed lambda calculus
Show 1 more fact
- discoverer or inventor
- Alonzo Church
Sources (2)
via Wikidata · CC0
Also known as STLC, λ→
variante du lambda-calcul avec des types
via Wikidata · CC0