Rachunek lambda z typami
Z Wikipedii, wolnej encyclopedia
Rachunek lambda z typami to postać rachunku lambda rozszerzona o typy i z ograniczeniami, jakie wyrażenia są dozwolone, zależnie od ich typów.
Ten artykuł od 2016-11 wymaga zweryfikowania podanych informacji. |
Najprostszym takim rachunkiem jest rachunek lambda z typami prostymi.