functional programming language based on the lambda calculus
Attributes | Values |
---|---|
rdf:type | |
Den Store Danske ID | |
Den Store Danske ID |
|
owl:sameAs | |
description |
|
publication date | |
publication date |
|
Encyclopedia of Mathematics article ID | |
Encyclopedia of Mathematics article ID |
|
rdfs:label |
|