positionInLambdaCube

P200929

predicate

Indicates the relative location or placement of a type system within the structured hierarchy of systems known as the Lambda Cube.

Try in SPARQL

Sample triples (1)

Subject	Object
calculus of constructions surface form: Calculus of Constructions	top corner ⓘ