typed lambda calculus

URI: https://gptkb.org/entity/typed_lambda_calculus
GPTKB entity
Statements (1)
Predicate Object
https://www.w3.org/2000/01/rdf-schema#label typed lambda calculus